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

Khi xem xét các mô hình tính toán của máy, hệ thống phân cấp Chomsky thường được đặc trưng bởi (theo thứ tự), automata hữu hạn, automata đẩy xuống, automata ràng buộc tuyến tính và Turing Machines. Đối với cấp 1 và cấp 1 (ngôn ngữ thông thường và ngôn …

21 formal-languages  computability  context-free  computation-models  context-sensitive 

Tôi đang cố gắng để hiểu ngữ pháp nhạy cảm ngữ cảnh. Tôi hiểu tại sao ngôn ngữ như { W w | w ∈ A*}{ww|w∈Một*}\{ww \mid w \in A^*\} { anbncn| N ∈ N }{mộtnbncn|n∈N}\{a^n b^n c^n \mid n\in\mathbb{N}\} không phải là bối cảnh miễn phí, nhưng những gì …

12 formal-grammars  programming-languages  lambda-calculus  context-sensitive 

Tôi đã xem qua định nghĩa Wikipedia về ngôn ngữ nhạy cảm ngữ cảnh và tôi đã tìm thấy điều này: Mỗi thể loại ngôn ngữ là một tập hợp con đúng của danh mục trực tiếp trên nó. Bất kỳ máy tự động và bất kỳ ngữ pháp nào …

12 formal-grammars  turing-machines  undecidability  context-sensitive 

Trên thực tế tôi thấy rằng tập hợp các Ngôn ngữ nhạy cảm theo ngữ cảnh, ( ngôn ngữ được chấp nhận) không được thảo luận rộng rãi như (ngôn ngữ thông thường) hoặc (ngôn ngữ không ngữ cảnh). Và cũng là vấn đề mở không nổi tiếng như vấn …

10 complexity-theory  np-complete  space-complexity  context-sensitive 

Tôi đang tìm kiếm một ngữ pháp context-sensitive mô tả các ngôn ngữ sau: .L={ww∣w∈{a,b}∗,|w|≥1}L= ={ww|w∈{một,b}*,|w|≥1}L = \{ ww \mid w ∈ \{a,b\}^{\ast}, |w| ≥ 1\} Tôi đã có vấn đề với thực tế là không có quy tắc như được phép và do đó tôi không thể đặt bất …

9 formal-languages  formal-grammars  context-sensitive 

Một thuộc tính "bơm" (các từ có độ dài nhất định ngụ ý sự tồn tại của các vòng lặp trong cơ chế xác định ngôn ngữ) được biết là tồn tại đối với các ngôn ngữ thông thường và không ngữ cảnh và một số ngôn ngữ khác (thường …

8 formal-languages  pumping-lemma  context-sensitive 

Tôi cho rằng .Σ={a}Σ={a}\Sigma = \{a\} Chứng minh hoặc từ chối: Với mọi đa thức có hệ số trong , là ngôn ngữ nhạy cảm ngữ cảnh.p(n)p(n)p(n)NN\mathbb{N}L={ap(n)|n∈N}L={ap(n)|n∈N}L = \{a^{p(n)} \; | \; n \in \mathbb{N}\} Có vẻ như đó là một ngôn ngữ nhạy cảm bối cảnh. Tôi đoán làm …

8 formal-languages  context-sensitive 

Tôi đã tìm kiếm một ngôn ngữ nguyên mẫu cho các ngôn ngữ đệ quy (có thể quyết định) không có ngữ cảnh nhạy cảm nếu không thành công. Ví dụ, là nguyên mẫu của các ngôn ngữ thông thường, cho các ngôn ngữ không có ngữ cảnh và cho …

7 formal-languages  turing-machines  context-sensitive 

L={ϵ}L={ϵ}L = \left \{ \epsilon \right \} Rõ ràng ngôn ngữ này là hữu hạn nên đây phải là ngôn ngữ thông thường. Bây giờ vì mọi ngôn ngữ thông thường là Bối cảnh Nhạy cảm, là một CSL. Chúng ta có thể định nghĩa ngữ pháp cho là: Bây …

7 formal-languages  regular-languages  context-sensitive 

Tôi đang cố gắng giải quyết bài kiểm tra sắp tới của mình và không biết làm thế nào để tạo ngữ pháp cho các ngôn ngữ nhạy cảm ngữ cảnh, ví dụ như làm thế nào để tôi tiến hành loại câu hỏi này. Đưa ra một ngữ pháp …

7 formal-languages  formal-grammars  context-sensitive 

Đây là một câu hỏi từ kỳ thi của khóa học "Automata và Ngôn ngữ chính thức" của chúng tôi. Có một câu hỏi được yêu cầu chứng minh hoặc bác bỏ rằng mọi hoạt động "bổ sung tương đối" giữa hai ngôn ngữ nhạy cảm ngữ cảnh cũng sẽ …

7 formal-languages  closure-properties  context-sensitive