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

Chúng ta hãy xem xét hai ngữ pháp không ngữ cảnh và G 2 và đặt câu hỏi sau: L ( G 1 ) = L ( G 2 ) , nghĩa là hai ngữ pháp có tương đương không?G1G1G_1G2G2G_2L ( G1) = L ( G2)L(G1)= =L(G2)L(G_1) = L(G_2) Nói …

19 formal-languages  context-free  formal-grammars 

Tôi đang cố gắng sử dụng bổ đề bơm để chứng minh rằng không thường xuyên.L = { ( 01 )m2m∣ m ≥ 0 }L={(01)m2m∣m≥0}L = \{(01)^m 2^m \mid m \ge0\} Đây là những gì tôi có cho đến nay: Giả sử là thường xuyên và gọi p là chiều …

19 formal-languages  regular-languages  pumping-lemma 

Để cho L={an∣∃p≥n p, p+2 are prime}.L={an∣∃p≥n p, p+2 are prime}.\qquad L = \{a^n \mid \exists_{p \geq n}\ p\,,\ p+2 \text{ are prime}\}. Là thường xuyên?LLL Câu hỏi này thoạt nhìn có vẻ nghi ngờ và tôi đã nhận ra rằng nó được kết nối với phỏng đoán nguyên tố …

19 formal-languages  automata  regular-languages  finite-automata 

Tôi bị mắc kẹt trong câu hỏi sau đây: "Các ngôn ngữ thông thường chính xác là những ngôn ngữ được chấp nhận bởi automata hữu hạn. Với thực tế này, cho thấy rằng nếu ngôn ngữ được chấp nhận bởi một số máy tự động hữu hạn, thì L …

19 formal-languages  regular-languages  automata  finite-automata 

Là một máy Turing không có khả năng ghi trên các ô trống kém mạnh hơn Turing tiêu chuẩn? Tôi nghĩ câu trả lời là có nhưng tôi không thể tìm thấy một tính toán mà máy Turing tiêu chuẩn có thể làm được nhưng máy này thì không. Có …

18 formal-languages  turing-machines  computability  automata 

Cài đặt: biểu thức chính quy với phản hồi ngôn ngữ đơn nguyên (bảng chữ cái 1 ký hiệu) Là vấn đề sau đây có thể quyết định trong cài đặt này: Đưa ra một biểu thức chính quy với các phản hồi, nó có định nghĩa một ngôn ngữ …

18 formal-languages  computability  regular-languages  undecidability  regular-expressions 

Có một thuật toán / thủ tục hệ thống để kiểm tra xem một ngôn ngữ không có ngữ cảnh không? Nói cách khác, đưa ra một ngôn ngữ được chỉ định ở dạng đại số (nghĩ về một cái gì đó như ), kiểm tra xem ngôn ngữ đó …

18 algorithms  formal-languages  context-free  decision-problem 

Cho một ngôn ngữ thông thường , sau đó nó rất dễ dàng để chứng minh rằng có một hằng số N như vậy có nghĩa là σ ∈ L , với | σ | ≥ N có tồn tại chuỗi alpha , β và γ như vậy | alpha …

18 formal-languages  proof-techniques 

Có rất nhiều (và ý tôi là nhiều) ngôn ngữ có thể đếm được là Turing-decidable. Bất kỳ ngôn ngữ không thể đếm được có thể là Turing có thể quyết định?

17 formal-languages  turing-machines  regular-languages  church-turing-thesis 

Theo Wikipedia , đối với mọi ngôn ngữ thông thường tồn tại các hằng số và đa thức sao cho với mọi số của các từ có độ dài trong thỏa mãn phương trìnhLLLλ1,…,λkλ1,…,λk\lambda_1,\ldots,\lambda_kp1(x),…,pk(x)p1(x),…,pk(x)p_1(x),\ldots,p_k(x)nnnsL(n)sL(n)s_L(n)nnnLLL sL(n)=p1(n)λn1+⋯+pk(n)λnksL(n)=p1(n)λ1n+⋯+pk(n)λkn\qquad \displaystyle s_L(n)=p_1(n)\lambda_1^n+\dots+p_k(n)\lambda_k^n . Ngôn ngữ là thông thường ( khớp với nó). iff n là …

17 formal-languages  regular-languages  combinatorics  word-combinatorics 

Ngôn ngữ đã cho và , chúng ta hãy nói rằng họ nối là rõ ràng nếu cho tất cả các từ , có chính xác là một phân hủy với và , và mơ hồ khác. (Tôi không biết có thuật ngữ nào được thiết lập cho tài sản …

16 algorithms  formal-languages  computability  regular-languages  ambiguity 

Tôi tự hỏi liệu điều này có khả thi hay không, vì . Do đó, một PDA có thể phân biệt một từ w \ in \ {a ^ nb ^ nc ^ n \ mid n \ geq 0 \} với phần còn lại của \ {a ^ * …

16 formal-languages  automata  context-free  pushdown-automata 

Nếu tôi có Ngữ pháp Loại 3, nó có thể được biểu diễn trên máy tự động đẩy xuống (không thực hiện bất kỳ thao tác nào trên ngăn xếp) để tôi có thể biểu diễn các biểu thức thông thường bằng cách sử dụng các ngôn ngữ không ngữ …

16 formal-languages  regular-languages  formal-grammars  parsers  regular-expressions 

Lưu ý đây là một câu hỏi liên quan đến việc học trong khóa học CS tại một trường đại học, nó KHÔNG phải là bài tập về nhà và có thể tìm thấy ở đây trong kỳ thi Fall 2011. Đây là hai câu hỏi tôi đang xem từ …

16 formal-languages  computability  context-free  regular-languages  turing-machines 

Máy tự động hữu hạn xác định (DFA) là một mô hình máy trạng thái có khả năng chấp nhận tất cả và chỉ các ngôn ngữ thông thường. Các DFA có thể được (và thường là) được định nghĩa theo cách mà mỗi trạng thái phải cung cấp một …

16 formal-languages  automata  finite-automata