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

Tôi biết rằng có những ngôn ngữ không thông thường, do đó là thông thường, nhưng tất cả các ví dụ tôi có thể tìm thấy đều nhạy cảm với ngữ cảnh nhưng không có ngữ cảnh.L*L∗L^* Trong trường hợp không có làm thế nào để bạn chứng minh điều …

13 formal-languages  context-free  regular-languages 

Vấn đề Không có cách nào dễ dàng để có được hoán vị với regex. Hoán vị: Bắt một từ ("aabc") sang một thứ tự khác, mà không thay đổi số lượng hoặc loại chữ cái.w = x1... xnw=x1…xnw=x_1…x_n Regex: Biểu thức chính quy. Để xác minh: "Hoán vị Regex …

13 formal-languages  regular-languages  regular-expressions 

Tôi nghĩ rằng tất cả các ngôn ngữ thông thường có thể được biểu thị bằng các biểu thức chính quy (nếu một ngôn ngữ là chính quy, nó có thể được biểu thị bằng regex), nhưng tôi đã được thông báo rằng bạn cần cả ba hoạt động thông …

12 formal-languages  regular-languages  regular-expressions  kleene-star 

Tôi đã bắt gặp câu hỏi đó: "Cho ví dụ về hai ngôn ngữ thông thường mà liên minh của họ không tạo ra ngôn ngữ thông thường." Điều này khá sốc đối với tôi vì tôi tin rằng các ngôn ngữ thông thường bị đóng cửa dưới sự kết …

12 formal-languages  regular-languages  closure-properties 

Đây là vấn đề: Chứng minh rằng các máy Turing băng đơn không thể ghi trên phần băng chứa chuỗi đầu vào chỉ nhận ra các ngôn ngữ thông thường. Ý tưởng của tôi là chứng minh rằng TM cụ thể này tương đương với DFA. Sử dụng TM này …

12 formal-languages  computability  regular-languages  turing-machines  automata 

Vì vậy, tôi biết rằng thử nghiệm nếu một ngôn ngữ thông thường là một tập hợp con của ngôn ngữ thông thường S là decidable, vì chúng ta có thể chuyển đổi chúng cả hai để DFAs, tính toán R ∩ ˉ S , và sau đó kiểm tra …

12 algorithms  regular-languages  automata  np-complete  decision-problem 

Say, L⊆{0}∗L⊆{0}∗L \subseteq \{0\}^* . Thì làm sao chúng ta có thể chứng minh rằng L∗L∗L^* là thường xuyên? Nếu LLL là bình thường, thì tất nhiên L∗L∗L^* cũng là bình thường. Nếu LLL là hữu hạn, thì nó là thường xuyên và một lần nữa L∗L∗L^* là thường xuyên. …

12 formal-languages  regular-languages 

Nếu là thường xuyên, nó có theo là thường xuyên không?A 2A2A^2 AAA Nỗ lực của tôi về một bằng chứng: Có, vì mâu thuẫn cho rằng AAA không thường xuyên. Rồi Một 2 = Một ⋅ MộtA2=A⋅AA^2 = A \cdot A . Vì việc ghép hai ngôn ngữ không …

12 formal-languages  regular-languages  closure-properties 

Đặt là thường xuyên, thường xuyên, không thường xuyên. rằng không thường xuyên hoặc đưa ra một ví dụ mẫu.L 1 ∩ L 2 L 2 L 1 ∪ L 2L1L1L_1L1∩L2L1∩L2L_1 \cap L_2L2L2L_2L1∪L2L1∪L2L_1 \cup L_2 Tôi đã thử điều này: Hãy xem . Điều này là thường xuyên. Tôi có …

12 formal-languages  regular-languages 

Tôi đã xem qua con số này cho thấy các ngôn ngữ thông thường và không có ngữ cảnh là tập hợp con (phù hợp) của các vấn đề hiệu quả (được cho là ). Tôi hoàn toàn hiểu rằng các vấn đề hiệu quả là một tập hợp con …

12 formal-languages  regular-languages  context-free  efficiency 

Tôi muốn chứng minh rằng phần bù của không thường xuyên sử dụng các thuộc tính đóng.{0n1n∣n≥0}{0n1n∣n≥0}\{0^n1^n \mid n \geq{} 0\} Tôi hiểu rằng bổ đề bơm có thể được sử dụng để chứng minh rằng không phải là ngôn ngữ thông thường. Tôi cũng hiểu các ngôn ngữ thông …

12 formal-languages  regular-languages  closure-properties 

Một biểu thức chính quy được định nghĩa đệ quy là một ∈ Σaaa đối với một số là biểu thức chính quy,a∈Σa∈Σa \in \Sigma εε\varepsilon là một biểu thức chính quy, ∅∅\emptyset là một biểu thức chính quy, R 1 R 2(R1∪R2)(R1∪R2)(R_1 \cup R_2) trong đó và là biểu …

11 formal-languages  regular-languages  regular-expressions 

Có một thuật toán / thủ tục hệ thống để kiểm tra xem một ngôn ngữ có thường xuyên không? Nói cách khác, cho một ngôn ngữ cụ thể dưới hình thức đại số (nghĩ về một cái gì đó giống như L={anbn:n∈N}L={anbn:n∈N}L=\{a^n b^n : n \in \mathbb{N}\}), kiểm tra …

11 algorithms  formal-languages  regular-languages  decision-problem 

Tôi đã tự hỏi, vì tự nó là ngôn ngữ không có sao, có ngôn ngữ thông thường không phải là ngôn ngữ không có sao không? Bạn có thể cho một ví dụ?một*a∗a^* (từ wikipdia ) Lawson định nghĩa các ngôn ngữ không có sao là: Một ngôn ngữ …

11 formal-languages  regular-languages  automata 

Ví dụ: tôi biết rằng ngôn ngữ không thông thường nằm trong . Tôi muốn biết thêm ví dụ như thế này. A C 0mộtnbnanbna^nb^nA C0AC0AC^0

11 complexity-theory  regular-languages  circuits