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

Các câu hỏi liên quan đến ngôn ngữ chính thức, ngữ pháp và lý thuyết automata

2
Máy Turing băng đơn có đầu vào được bảo vệ chống ghi chỉ nhận ra Ngôn ngữ thông thường
Đây là vấn đề: Chứng minh rằng các máy Turing băng đơn không thể ghi trên phần băng chứa chuỗi đầu vào chỉ nhận ra các ngôn ngữ thông thường. Ý tưởng của tôi là chứng minh rằng TM cụ thể này tương đương với DFA. Sử dụng TM này …
3
Tầm quan trọng của các hình thức bình thường như hình thức bình thường Chomsky đối với CFG
Tôi hiểu rằng ngữ pháp không ngữ cảnh có thể được sử dụng để thể hiện các ngôn ngữ không ngữ cảnh. Nó có thể có sự mơ hồ. Chúng tôi cũng có các hình thức bình thường như Chomsky và Greibach hình thức bình thường. Tôi không thể hiểu …
2
Nếu
Say, L⊆{0}∗L⊆{0}∗L \subseteq \{0\}^* . Thì làm sao chúng ta có thể chứng minh rằng L∗L∗L^* là thường xuyên? Nếu LLL là bình thường, thì tất nhiên L∗L∗L^* cũng là bình thường. Nếu LLL là hữu hạn, thì nó là thường xuyên và một lần nữa L∗L∗L^* là thường xuyên. …
7
Là
Nếu là thường xuyên, nó có theo là thường xuyên không?A 2A2A^2 AAA Nỗ lực của tôi về một bằng chứng: Có, vì mâu thuẫn cho rằng AAA không thường xuyên. Rồi Một 2 = Một ⋅ MộtA2=A⋅AA^2 = A \cdot A . Vì việc ghép hai ngôn ngữ không …
1
Godelelization trong Turing Machine
Tôi đã xem xét khóa học về lý thuyết tính toán. Tôi có thể hiểu các khái niệm đánh số của Gôdel, nhưng không thể hiểu tầm quan trọng của nó trong Lý thuyết tính toán. Bất cứ ai có thể xin vui lòng chỉ ra một số tài liệu …
1
Chứng minh rằng phần bù của không thường xuyên sử dụng thuộc tính đóng
Tôi muốn chứng minh rằng phần bù của không thường xuyên sử dụng các thuộc tính đóng.{0n1n∣n≥0}{0n1n∣n≥0}\{0^n1^n \mid n \geq{} 0\} Tôi hiểu rằng bổ đề bơm có thể được sử dụng để chứng minh rằng không phải là ngôn ngữ thông thường. Tôi cũng hiểu các ngôn ngữ thông …
3
Tại sao các biểu thức chính quy được định nghĩa với các phép toán liên kết, nối và sao?
Một biểu thức chính quy được định nghĩa đệ quy là một ∈ Σaaa đối với một số là biểu thức chính quy,a∈Σa∈Σa \in \Sigma εε\varepsilon là một biểu thức chính quy, ∅∅\emptyset là một biểu thức chính quy, R 1 R 2(R1∪R2)(R1∪R2)(R_1 \cup R_2) trong đó và là biểu …
Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookie và Chính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.