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

4
Có một ngôn ngữ hữu hạn không thể giải quyết của các từ hữu hạn?
Có một nhu cầu cho L⊆Σ∗L⊆Σ∗L\subseteq \Sigma^* là vô hạn để có thể quyết định? Ý tôi là gì nếu chúng tôi chọn một ngôn ngữ L′L′L' là một phiên bản hữu hạn được giới hạn của L⊆Σ∗L⊆Σ∗L\subseteq \Sigma^* , có nghĩa là |L′|≤N|L′|≤N|L'|\leq N ( N∈NN∈NN \in \mathbb{N} ), …
5
Có một phương pháp đã biết để xây dựng một ngữ pháp được cung cấp một tập hợp hữu hạn các chuỗi hữu hạn không?
Từ đọc của tôi, có vẻ như hầu hết các ngữ pháp đều quan tâm đến việc tạo ra một số lượng chuỗi vô hạn. Điều gì nếu bạn làm việc theo cách khác? Nếu được cung cấp n chuỗi có độ dài m, có thể tạo ra một ngữ …
1
Làm thế nào có thể ws với | w | = | s | và chúng không có ngữ cảnh trong khi w # s thì không?
Tại sao (nếu vậy) seperator ##\# tạo ra sự khác biệt giữa hai ngôn ngữ? Hãy nói: L={ws:|w|=|s|w,s∈{0,1}∗,w≠s}L={ws:|w|=|s|w,s∈{0,1}∗,w≠s}L=\{ws : |w|=|s|\, w,s\in \{0,1\}^{*}, w \neq s \} L#={w#s:|w|=|s|w,s∈{0,1}∗,w≠s}L#={w#s:|w|=|s|w,s∈{0,1}∗,w≠s}L_{\#}=\{w\#s : |w|=|s|\, w,s\in \{0,1\}^{*}, w \neq s \} Dưới đây là một bằng chứng và một ngữ pháp đại diện cho LLL là …
3
Tại sao nhà nước vẫn không thay đổi trong ngữ nghĩa hoạt động bước nhỏ của một vòng lặp while?
Thông thường tôi thấy rằng trong biểu diễn ngữ nghĩa hoạt động cấu trúc cho vòng lặp while, trạng thái chương trình không thay đổi: (whileBdoS,σ)→(ifBthenS;(whileBdoS)elseSKIP,σ)(whileBdoS,σ)→(ifBthenS;(whileBdoS)elseSKIP,σ)(while \> B \> do \>S, \sigma) \rightarrow (if \>B \> then \>S; (while \> B \> do \>S) \> else \> SKIP, \sigma) Đối …
2
Sự đều đặn của các ngôn ngữ đơn nhất với độ dài từ tổng của hai lần tương ứng. ba hình vuông
Tôi nghĩ về các ngôn ngữ đơn nguyên LkLkL_k , trong đó LkLkL_k được tập hợp tất cả các từ có độ dài là tổng bình phương kkk . Chính thức: Lk={an∣n=∑i=1kni2,ni∈N0(1≤i≤k)}Lk={an∣n=∑i=1kni2,ni∈N0(1≤i≤k)}L_k=\{a^n\mid n=\sum_{i=1}^k {n_i}^2,\;\;n_i\in\mathbb{N_0}\;(1\le i\le k)\} Thật dễ dàng để thấy rằngkhông thường xuyên (ví dụ như với Pumping-Lemma). Hơn …
3
Ngữ pháp nhạy cảm ngữ cảnh cho ngôn ngữ của các từ được nối với chính chúng
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 …
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.