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

Tôi có hai câu hỏi: Tôi xem xét ngôn ngữ sau Nói cách khác, không phải là palindrom với độ dài chẵn. Tôi đã chứng minh rằng ngôn ngữ này KHÔNG thường xuyên bằng cách chứng minh rằng phần bổ sung của nó không thường xuyên. Câu hỏi của tôi …

8 formal-languages  regular-languages  pumping-lemma 

Vì vậy, tôi đã gãi đầu về vấn đề này trong một vài ngày nay. Cho một số ngôn ngữ AAA và là chính quy, cho thấy rằng ngôn ngữ bao gồm tất cả các chuỗi trong có độ dài bằng một số chuỗi trong là ngôn ngữ thông thường.L …

8 formal-languages  regular-languages  finite-automata  proof-techniques  closure-properties 

Chứng tỏ rằng không thường xuyênL={an2|n≥0}L={an2|n≥0}L=\{a^{n^2} | n \geq 0\} Này các cậu. Tôi đang tham gia một lớp CS và những thứ này thực sự mới đối với tôi vì vậy hãy kiên nhẫn với tôi. Tôi đã cố gắng xem xét nếu tôi nhận được một số mâu …

8 regular-languages  pumping-lemma 

Tôi đã có một vài ngày thi và gặp vấn đề để giải quyết nhiệm vụ này. Hãy LLL là một ngôn ngữ thông thường trên bảng chữ cái ΣΣ\Sigma . Chúng tôi có các hoạt động đi xe đạp( L ) = { x y∣ x , y∈ Σ* …

8 formal-languages  regular-languages  finite-automata  closure-properties 

Tôi đang làm việc với trình phân tích cú pháp cho ngôn ngữ kiểu C và đối với trình phân tích cú pháp đó, tôi cần biểu thức chính quy khớp với kiểu C / ** / nhận xét. Bây giờ, tôi đã tìm thấy biểu thức này trên web: …

8 compilers  parsers  regular-languages 

Chúng ta có thể chuyển đổi một NFA có trạng thái thành biểu thức chính quy có độ dài không?nnnpoly(n)poly(n)\mathrm{poly}(n) Ngược lại, ai cũng biết rằng một biểu thức chính quy có độ dài có thể dễ dàng được chuyển đổi thành một NFA .nnnO(n)O(n)\mathcal{O}(n)

8 regular-languages  finite-automata  regular-expressions 

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 

Người ta biết rằng các ngôn ngữ thông thường được đặc trưng bởi sự tương đương Myhill-Nerode. Đối với ngôn ngữLLL kết thúc Σ*Σ∗\Sigma^* xác định sự tương đương x~Lyx∼Lyx\sim_L y kết thúc Σ*Σ∗\Sigma^* iff cho tất cả z∈Σ*z∈Σ∗z\in\Sigma^* chúng ta có x z∈ L⟺yz∈ Lxz∈L⟺yz∈Lxz\in L \iff yz\in L. …

8 regular-languages  closure-properties 

Về cơ bản tiêu đề nói gì. Tại sao bạn có thể "bỏ qua" phần "xy" nếu bạn muốn chứng minh liệu một ngôn ngữ có thường xuyên không?

7 regular-languages  pumping-lemma  chomsky-hierarchy 

Để cho ΣΣ\Sigma là một bảng chữ cái và để x+,x−1,…,x−n∈Σ∗x+,x1−,…,xn−∈Σ∗x^+,x^-_1,\dots,x^-_n \in \Sigma^*được chuỗi trên bảng chữ cái đó. Gọi một chuỗis∈Σ∗s∈Σ∗s \in \Sigma^* tốt nếusss là một phần sau của x+x+x^+ nhưng không phải là một trong những x−1,…,x−nx1−,…,xn−x^-_1,\dots,x^-_n. Được x+,x−1,…,x−nx+,x1−,…,xn−x^+,x^-_1,\dots,x^-_n, Tôi đang tìm kiếm chuỗi tốt nhất ngắn …

7 algorithms  regular-languages  strings  substrings  subsequences 

Đặt là một hàm số nguyên. Đối với ngôn ngữ , xác địnhf: N → Nf:N→Nf : \mathbb{N} \to \mathbb{N}LLL f( L ) = { w ∣ ∃ x : | x | = f( | w | ) và w x ∈ L }f(L)={w∣∃x:|x|=f(|w|) and wx∈L}f(L) = \{w \mid …

7 regular-languages 

Người ta biết rằng vấn đề phổ quát đối với NFA (quyết định xem ) có phải là -complete hay không. Tuy nhiên, điều gì sẽ xảy ra nếu mọi trạng thái của NFA được biết là chấp nhận? Dường như với tôi rằng vấn đề là ở hầu hết …

7 complexity-theory  regular-languages  finite-automata 

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