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

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 

Ngôn ngữ rõ ràng là thông thường - ví dụ: nó phù hợp với biểu thức chính quy . Nhưng đối số bổ đề bơm sau đây dường như cho thấy nó không thường xuyên. Có chuyện gì vậy?L={02n | n≥0}L={02n | n≥0}L = \{0^{2n} \space |\space n \ge 0 …

8 formal-languages  regular-languages  proof-techniques  pumping-lemma  reference-question 

Tôi hiện đang cố gắng chứng minh ngôn ngữ thường xuyên (để giải trí cá nhân). Ngôn ngữ là: Ngôn ngữ chứa tất cả các số trong ternary có chẵn lẻ bit khi được mã hóa dưới dạng nhị phân. Bây giờ, tôi hiện đã thử một vài cách tiếp …

8 formal-languages  regular-languages  arithmetic 

Đối với ngôn ngữ có độ dài bơm và chuỗi , các bổ đề bơm như sau:LLLppps ∈ Ls∈Ls\in L Phiên bản thông thường : Nếu , sau đó có thể được viết là , thỏa mãn các điều kiện sau:| s | ≥p|s|≥p|s| \geq pSssx yzxyzxyz | y| ≥1|y|≥1|y|\geq …

8 formal-languages  regular-languages  context-free  pumping-lemma 

nếu tôi có một ngữ pháp có một sản phẩm chứa cả đệ quy trái và bao thanh toán như F→ FB một | c D S| cF→FBmột|cDS|c\qquad \displaystyle F \to FBa \mid cDS \mid c cái nào được ưu tiên, đệ quy trái hay bao thanh toán?

8 formal-languages  formal-grammars  parsers  left-recursion 

Tôi đang cố gắng tấn công TAOCP một lần nữa, vì sự nặng nề theo nghĩa đen của các tập tôi gặp khó khăn khi thực hiện nó một cách nghiêm túc. Trong TAOCP 1 Knuth viết, trang 8, các khái niệm cơ bản :: Để cho AAAlà một tập …

7 formal-languages  turing-machines  computation-models 

Thuật toán của Brzozowki được trích dẫn rộng rãi. Một số câu hỏi ở đây đưa ra ví dụ hoặc thảo luận về sự phức tạp của nó. Nhưng tôi đã không thể tìm thấy một bằng chứng chính xác cho thuật toán. Làm thế nào để chúng tôi chứng …

7 formal-languages  automata  finite-automata 

Tôi hiện đang học ngôn ngữ chính thức. Bài giảng của tôi nói rằng, trong khi các từ của một ngôn ngữ là hữu hạn, các câu được xây dựng với ngữ pháp cơ bản thì không. Nhưng tôi không hiểu tại sao điều này thường đúng. Tôi có thể …

7 formal-languages 

Tôi đã loay hoay với vấn đề này trong một giờ qua, và tôi vô cùng bối rối. Đặt . Cho thấy là thường xuyên.A={0ku0k∣k≥1 and u∈Σ∗}A={0ku0k∣k≥1 and u∈Σ∗}A = \{\; 0^ku0^k \mid k ≥ 1 \text{ and }u ∈ Σ^*\;\}AMộtA Ngôn ngữ rõ ràng thỏa mãn Bổ đề bơm, …

7 formal-languages  regular-languages 

Mục tiêu của Turing trong khi xây dựng khái niệm của mình là chính thức hóa cách con người thực hiện lý luận trừu tượng. Bây giờ hãy sửa tôi nếu tôi sai nhưng lý do đó dường như chỉ là một bài tập mà bạn thao tác một tập …

7 formal-languages  turing-machines 

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 

Sẽ L = {một*b*}L= ={một*b*}L = \{a^* b^*\} được phân loại là ngôn ngữ thông thường? Tôi bối rối vì tôi biết rằng L={anbn}L={anbn}L = \{a^n b^n\}không thường xuyên Ngôi sao kleene tạo ra sự khác biệt gì?

7 formal-languages  regular-languages  kleene-star 

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 

Cho một ngôn ngữ LLL, định nghĩa: NE(L)={x∈L:x is not the proper prefix of any string in L}NE(L)={x∈L:x is not the proper prefix of any string in L} NE(L) = \{x \in L : x \text{ is not the proper prefix of any string in } L\} Tôi đang cố …

7 formal-languages  context-free  closure-properties 

Có người hỏi ví dụ về ngôn ngữ không ngữ cảnh với phần bổ sung không ngữ cảnh . Câu trả lời đầu tiên nói: Ngôn ngữ L1= { w w ∣ w ∈ { a , b}*}L1={ww∣w∈{a,b}∗}L_1= \{ww \mid w \in \{a,b\}^*\}không có ngữ cảnh (như có thể được …

7 formal-languages  context-free  formal-grammars