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

Chúng tôi đã học về lớp ngôn ngữ thông thường . Nó được đặc trưng bởi bất kỳ một khái niệm nào trong số các biểu thức chính quy, automata hữu hạn và ngữ pháp tuyến tính trái, vì vậy thật dễ dàng để chỉ ra rằng một ngôn ngữ …

75 formal-languages  regular-languages  proof-techniques  reference-question 

Có nhiều phương pháp để chứng minh rằng một ngôn ngữ không thường xuyên , nhưng tôi cần làm gì để chứng minh rằng một số ngôn ngữ là chính quy? Chẳng hạn, nếu tôi được cho rằng là thường xuyên, làm thế nào tôi có thể chứng minh rằng …

48 formal-languages  regular-languages  automata  proof-techniques  reference-question 

Trong lớp của tôi, một sinh viên hỏi liệu tất cả các automata hữu hạn có thể được vẽ mà không vượt qua các cạnh (có vẻ như tất cả các ví dụ của tôi đã làm). Tất nhiên câu trả lời là phủ định, máy tự động rõ ràng …

32 regular-languages  finite-automata  planar-graphs 

Tôi đã đọc về Iota và Jot và thấy phần này khó hiểu: Không giống như Iota, nơi cây cú pháp cho một chuỗi có thể phân nhánh ở bên trái hoặc bên phải, cú pháp Jot được phân nhánh đồng đều. Do đó, Iota hoàn toàn không có ngữ …

32 regular-languages  programming-languages  turing-completeness 

Tôi vừa hoàn thành chương đầu tiên của Giới thiệu về Lý thuyết tính toán của Michael Sipser , giải thích những điều cơ bản của automata hữu hạn. Ông định nghĩa một ngôn ngữ thông thường là bất cứ thứ gì có thể được mô tả bởi một automata …

31 formal-languages  regular-languages  terminology  finite-automata  history 

Đối với ngôn ngữ thông thường , hãy đặt là số lượng từ trong có độ dài . Sử dụng dạng chính tắc Jordan (áp dụng cho ma trận chuyển tiếp không được quản lý của một số DFA cho ), người ta có thể chỉ ra rằng với , …

28 formal-languages  reference-request  regular-languages  asymptotics  combinatorics 

Đây là một phỏng đoán cho các biểu thức thông thường: Đối với biểu thức thông thường , hãy để độ dài | R | là số ký hiệu trong đó, bỏ qua dấu ngoặc đơn và toán tử. Ví dụ:RRR| R ||R||R|| 0∪1 | = | (0∪1 )*| =2|0∪1|=|(0∪1)∗|=2|0 …

25 formal-languages  regular-languages  regular-expressions 

Chúng tôi biết rằng các DFA tương đương với NFA về sức mạnh biểu cảm; cũng có một thuật toán đã biết để chuyển đổi NFA thành DFA (thật không may bây giờ tôi biết người phát minh ra thuật toán đó), trong trường hợp xấu nhất mang lại cho …

24 formal-languages  automata  regular-languages  finite-automata  nondeterminism 

Wikipedia có định nghĩa sau đây về bổ đề bơm đối với các ngôn ngữ thông thường ... Hãy để là một ngôn ngữ thông thường. Sau đó, tồn tại một số nguyên 1 chỉ phụ thuộc vào sao cho mọi chuỗi trong có độ dài ít nhất ( được …

20 formal-languages  regular-languages  pumping-lemma  finite-sets 

Tôi đang cố gắng sử dụng bổ đề bơm để chứng minh rằng không thường xuyên.L = { ( 01 )m2m∣ m ≥ 0 }L={(01)m2m∣m≥0}L = \{(01)^m 2^m \mid m \ge0\} Đây là những gì tôi có cho đến nay: Giả sử là thường xuyên và gọi p là chiều …

19 formal-languages  regular-languages  pumping-lemma 

Để cho L={an∣∃p≥n p, p+2 are prime}.L={an∣∃p≥n p, p+2 are prime}.\qquad L = \{a^n \mid \exists_{p \geq n}\ p\,,\ p+2 \text{ are prime}\}. Là thường xuyên?LLL Câu hỏi này thoạt nhìn có vẻ nghi ngờ và tôi đã nhận ra rằng nó được kết nối với phỏng đoán nguyên tố …

19 formal-languages  automata  regular-languages  finite-automata 

Tôi bị mắc kẹt trong câu hỏi sau đây: "Các ngôn ngữ thông thường chính xác là những ngôn ngữ được chấp nhận bởi automata hữu hạn. Với thực tế này, cho thấy rằng nếu ngôn ngữ được chấp nhận bởi một số máy tự động hữu hạn, thì L …

19 formal-languages  regular-languages  automata  finite-automata 

Cài đặt: biểu thức chính quy với phản hồi ngôn ngữ đơn nguyên (bảng chữ cái 1 ký hiệu) Là vấn đề sau đây có thể quyết định trong cài đặt này: Đưa ra một biểu thức chính quy với các phản hồi, nó có định nghĩa một ngôn ngữ …

18 formal-languages  computability  regular-languages  undecidability  regular-expressions 

Có rất nhiều (và ý tôi là nhiều) ngôn ngữ có thể đếm được là Turing-decidable. Bất kỳ ngôn ngữ không thể đếm được có thể là Turing có thể quyết định?

17 formal-languages  turing-machines  regular-languages  church-turing-thesis 

Theo Wikipedia , đối với mọi ngôn ngữ thông thường tồn tại các hằng số và đa thức sao cho với mọi số của các từ có độ dài trong thỏa mãn phương trìnhLLLλ1,…,λkλ1,…,λk\lambda_1,\ldots,\lambda_kp1(x),…,pk(x)p1(x),…,pk(x)p_1(x),\ldots,p_k(x)nnnsL(n)sL(n)s_L(n)nnnLLL sL(n)=p1(n)λn1+⋯+pk(n)λnksL(n)=p1(n)λ1n+⋯+pk(n)λkn\qquad \displaystyle s_L(n)=p_1(n)\lambda_1^n+\dots+p_k(n)\lambda_k^n . Ngôn ngữ là thông thường ( khớp với nó). iff n là …

17 formal-languages  regular-languages  combinatorics  word-combinatorics