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

Với bất kỳ ngôn ngữ thông thường vô hạn LLL nào, làm thế nào tôi có thể chứng minh rằng LLL có thể được phân chia thành 2 ngôn ngữ thông thường vô hạn ? Đó là: , và và đều vô hạn và đều đặn.L 1 ∪ L 2 …

9 formal-languages  regular-languages  finite-automata 

Trong khóa học về khái niệm ngôn ngữ lập trình của chúng tôi, người hướng dẫn của chúng tôi tuyên bố rằng trạng thái cuối cùng sẽ dẫn đến trạng thái khác trong sơ đồ trạng thái hữu hạn. Nhưng đây dường như là một khái niệm mâu thuẫn cơ …

8 formal-languages  graphs  regular-languages  finite-automata 

Hãy xem xét chuỗi . Có vẻ như "thông thường" theo cách, ví dụ thì không.s 2 = ( 1 , 2 , 3 , 4 , 210 )S1= ( 1 , 0 , 1 , 0 , Hoài )s1=(1,0,1,0,…)s_1 = (1, 0, 1, 0,\dots)S2= ( 1 , 2 , …

8 formal-languages  regular-languages 

Tôi hiện đang đọc cuốn sách Giới thiệu về Lý thuyết tính toán (Ed thứ 2 hoặc 3) của Michael Sipser , và đã vấp phải một câu hỏi trong Chương 1 - Ngôn ngữ thông thường , cụ thể là khi tác giả trình bày ý tưởng chứng minh …

8 regular-languages  automata  finite-automata  nondeterminism 

Tôi đang gặp vấn đề khi cố gắng xác định xem tất cả các số vuông (1, 4, 9, 16, ...) được viết ở dạng nhị phân (1, 100, 1001, ...) có phải là ngôn ngữ thông thường hay không. Sau một số nỗ lực tìm mô hình chung của …

8 formal-languages  regular-languages  automata  finite-automata 

Đây là điều tôi không thể tìm thấy - nhưng tôi luôn thấy thú vị rằng bổ đề bơm chỉ là một bổ đề (đặc biệt là vì nó có cùng tên với các ngôn ngữ thông thường, ngôn ngữ không ngữ cảnh, v.v ...) Nó là một bổ đề …

8 complexity-theory  regular-languages  finite-automata 

Cho DFA, A, hãy để L (A) biểu thị số lượng từ A chấp nhận. Tôi nghĩ thật dễ dàng để tính L (A): Dịch mã hóa của A thành một biểu thức thông thường. Nếu ngôi sao Kleene xuất hiện ở bất cứ đâu trong biểu thức - ngôn …

8 regular-languages  automata  regular-expressions 

Trong lớp, giáo sư của chúng tôi đã chỉ cho chúng tôi 3 phương pháp để chứng minh sự không đều đặn: Định lý Nerode của Myhill Bơm bổ đề cho các ngôn ngữ thông thường Bằng chứng về sự không đều đặn, dựa trên độ phức tạp Kolmogorov Bây …

8 formal-languages  regular-languages  proof-techniques  kolmogorov-complexity 

Khi tôi xem xét các bằng chứng cho việc bơm bổ đề , tôi có cảm giác rằng tôi thường bị thiếu trực giác đằng sau điều kiện | xy | ≤ p. Chính xác thì lý do đằng sau tình trạng này là gì? Tất cả các tài liệu …

8 formal-languages  regular-languages  pumping-lemma 

Câu hỏi của tôi về cơ bản được đưa ra ba ngôn ngữ A, B và L, trong đó L là A và B được nối với nhau và B được chứng minh là không thường xuyên, liệu có thể tìm thấy một A làm cho L thường xuyên không?

8 formal-languages  regular-languages 

Chúng tôi có hai ngôn ngữ: . Chúng tôi biết rằng là ngôn ngữ thông thường, vì vậy câu hỏi của tôi là liệu có thường xuyên không?L 1 L 2 L 2 L 1L1, L2L1,L2L_1,L_2L1L2L1L2L_1L_2L2L1L2L1L_2L_1 Tôi cố gắng tìm cách chứng minh điều đó ... Tất nhiên tôi không …

8 formal-languages  regular-languages  closure-properties 

Đặt , trong đó và cho tất cả .L={an∣n≥0}L={an∣n≥0}L = \{a^n \mid n \ge 0\}a0=ϵa0=ϵa^0 = \epsilonan=an−1aan=an−1aa^n = a^{n-1}an≥1n≥1n \ge 1 Do đó bao gồm các chuỗi độ dài bằng a, bao gồm chuỗi có độ dài . Hãy được bất kỳ tập con vô hạn của . Tôi cần …

8 formal-languages  regular-languages  closure-properties 

Như tôi đã nghiên cứu, việc quyết định tính đều đặn của các ngôn ngữ không ngữ cảnh là không thể giải quyết được. Tuy nhiên, chúng ta có thể kiểm tra tính đều đặn bằng cách sử dụng định lý Myode của Nerode cung cấp một điều kiện cần …

8 formal-languages  computability  regular-languages  undecidability 

Hãy để là một ngôn ngữ thông thường. Chứng minh rằng:LLL L+−−={w:∃u|u|=2|w|∧wu∈L}L+−−={w:∃u|u|=2|w|∧wu∈L}L_{+--}=\left\{w: \exists_u |u|=2|w| \wedge wu\in L\right\} L++−={w:∃u2|u|=|w|∧wu∈L}L++−={w:∃u2|u|=|w|∧wu∈L}L_{++-}=\left\{w: \exists_u 2|u|=|w| \wedge wu\in L \right\} L- + -= { w : ∃bạn , v| bạn | = | w | = | v | ∧uwv∈L }L−+−={w:∃u,v|u|=|w|=|v|∧uwv∈L}L_{-+-}=\left\{w:\exists_{u,v} |u|=|w|=|v| \wedge uwv\in L\right\} là …

8 regular-languages 

Hãy để LLL là một ngôn ngữ thông thường. Là ngôn ngữ L2={y:∃x,z s.t.|x|=|z| and xyz∈L}L2={y:∃x,z s.t.|x|=|z| and xyz∈L}L_2 = \{y : \exists x,z\ \ s.t.|x|=|z|\ and\ xyz \in L \} thường xuyên? Tôi biết nó rất giống với câu hỏi ở đây , nhưng điều thú vị là nó …

8 formal-languages  regular-languages  closure-properties