Câu hỏi được gắn thẻ «fl.formal-languages»

Tôi hiện đang thực hiện một số nghiên cứu về Ngôn ngữ chính thức liên quan đến các lớp ngôn ngữ trên Chính quy nhưng dưới Bối cảnh miễn phí. Tôi đang xem xét những thứ như Máy đa điểm có giới hạn Reversal, Máy đếm đơn ngăn xếp, CFL …

12 reference-request  co.combinatorics  fl.formal-languages  automata-theory  research-practice 

Ai đó có thể cung cấp một ví dụ về hai tương đương (nhận dạng cùng một ngôn ngữ) automata không xác định tối thiểu (NFA) không phải là đẳng cấu?

12 fl.formal-languages  automata-theory 

Giả sử ta có một ngôn ngữ , nhưng người ta không biết khái niệm về chuỗi thực sự là một phần của ngôn ngữ. Tất cả người ta là một cái nhìn hữu hạn của ngôn ngữ: một tập hữu hạn các chuỗi Một ⊆ L được biết đến …

12 cc.complexity-theory  fl.formal-languages  automata-theory 

Tôi đang tìm kiếm một ngôn ngữ L với các thuộc tính sau: L không nên có ngữ cảnh. Bổ sung của L không nên không có ngữ cảnh. (Tất cả mọi thứ bạn thấy trong sách giáo khoa là ví dụ điển hình của các ngôn ngữ không ngữ …

12 fl.formal-languages  automata-theory 

Điều này có lẽ khá đơn giản, nhưng hãy xem xét vấn đề tương ứng bài viết tiêu chuẩn: Cho và , tìm một chuỗi các chỉ số sao cho . Điều này, tất nhiên, không thể giải quyết được.beta 1 , ... , β N i 1 , ... …

12 computability  fl.formal-languages 

Tôi đã chuyển câu hỏi này từ stackoverflow nơi id không có câu trả lời. Chúng tôi đã có một câu hỏi tương tự cho dù JSON có thường xuyên không : JSON và XML thường được gọi là ngôn ngữ không ngữ cảnh - cả hai đều được chỉ …

12 fl.formal-languages 

Điều nổi tiếng là phần bổ sung của là không có ngữ cảnh. Nhưng còn phần bổ sung của thì sao?{ww∣w∈Σ∗}{ww∣w∈Σ∗}\{ ww \mid w\in \Sigma^*\}{www∣w∈Σ∗}{www∣w∈Σ∗}\{ www \mid w\in \Sigma^*\}

12 fl.formal-languages  context-free 

Một tập hợp các từ trên một bảng chữ cái hữu hạn là không có tiền tố nếu không có hai từ riêng biệt trong đó một từ là tiền tố của từ kia. Câu hỏi là: Sự phức tạp của việc kiểm tra xem một ngôn ngữ thông thường …

11 fl.formal-languages  automata-theory  prefix-free-code  nfa 

Đặt là ngôn ngữ và một hàm trên hai tham số với thuộc tính cho tất cả và , trả về một phần tử của khi và chỉ khi cả và là các phần tử của :LLLf:Σ⋆×Σ⋆→Σ⋆f:Σ⋆×Σ⋆→Σ⋆f\colon {\Sigma^\star}\times\Sigma^\star\to\Sigma^\starxxxyyyfffLLLxxxyyyLLL f(x,y)∈L⟺x∈L∧y∈L.f(x,y)∈L⟺x∈L∧y∈L.f(x,y)\in L \iff x\in L\wedge y\in L . Câu hỏi Các chức …

11 reference-request  fl.formal-languages 

Hệ thống bổ sung véc tơ (VAS) là một tập hợp hữu hạn các hành động . là tập hợp các dấu . Một chạy là một từ không có sản phẩm nào của các dấu hiệu st . Nếu một từ như vậy tồn tại, chúng tôi nói rằng …

11 fl.formal-languages  decidability 

Hãy xem xét vấn đề sau: Cho hai chuỗi x, y, quyết định xem có tồn tại một chuỗi đồng cấu chuỗi f sao cho f (x) = y. Nó rất dễ dàng để chứng minh rằng vấn đề này là trong . Có những điều khác chúng ta có …

11 cc.complexity-theory  reference-request  fl.formal-languages 

Tôi hiểu các tuyên bố sau đây là đúng: Hai dẫn xuất riêng biệt của một chuỗi trong CFG đã cho đôi khi có thể quy cùng một cây phân tích cú pháp cho chuỗi. Khi có đạo hàm của một số chuỗi trong một CFG đã cho thuộc tính …

11 fl.formal-languages  regular-language  context-free 

EDIT (Tác giả Tara B): Tôi vẫn quan tâm đến một tài liệu tham khảo về một bằng chứng về điều này, vì tôi phải tự chứng minh điều đó cho bài viết của mình. Tôi đang tìm bằng chứng của Định lý 4 xuất hiện trong bài báo này: …

11 reference-request  fl.formal-languages  linear-algebra  context-free-languages  lattice 

Câu hỏi này liên quan đến một câu hỏi gần đây của Janoma . Lý lịch Trong chương trình hạn chế, một thường xuyên toàn cầu hạn chế trên một miền là một cặp với một tuple của các biến (phạm vi) và một DFA trên miền . Việc gán …

11 co.combinatorics  fl.formal-languages  automata-theory  regular-language 

Vấn đề sau đây là quyết định: Cho một ngữ pháp không ngữ cảnh , L ( G ) = ∅ ?GGGL(G)=∅L(G)=∅L(G) = \varnothing Vấn đề sau đây là không thể giải quyết được: Cho một ngữ pháp không ngữ cảnh , L ( G ) = A ∗ ?GGGL(G)=A∗L(G)=A∗L(G) …

11 computability  fl.formal-languages