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

Hoặc ít nhất tạo ra một chuỗi các chuỗi mà một NFA chấp nhận, vì vậy tôi có thể đưa chuỗi đó vào NFA khác. Nếu tôi thực hiện tìm kiếm thông qua mọi đường dẫn của NFA, liệu nó có hoạt động không? Mặc dù điều đó sẽ mất …

10 algorithms  regular-languages  finite-automata 

Tôi đã bị lừa với bản demo Mê cung của Google Block và nhớ quy tắc cũ rằng nếu bạn muốn giải quyết một mê cung, chỉ cần giữ tay trái của bạn vào tường. Điều này hoạt động cho bất kỳ mê cung kết nối đơn giản và có …

10 automata  finite-automata  artificial-intelligence 

Câu hỏi là khá nhiều trong tiêu đề. Có khi nào một ngôn ngữ có thể được chấp nhận bởi một DFA tối thiểu với n trạng thái, nhưng L R , sự đảo ngược của L , có thể được chấp nhận bởi một DFA với m trạng thái, …

10 formal-languages  reference-request  automata  finite-automata 

Làm cách nào tôi có thể xây dựng một ví dụ về DFA có trạng thái trong đó NFA tương đương có trạng thái. Rõ ràng tập hợp trạng thái của DFA nên chứa tất cả các tập hợp con của tập hợp trạng thái của NFA, nhưng tôi không …

10 automata  finite-automata 

Tôi đang làm việc thông qua Sipser Book (ấn bản thứ 2) và tình cờ thấy ví dụ này, điều mà tôi không hiểu. Trong cuốn sách đó khẳng định rằng NFA này chấp nhận chuỗi rỗng, εϵ\epsilon . Ai đó có thể chạy tôi qua tại sao đây là …

9 regular-languages  finite-automata  nondeterminism 

Có một định lý nói rằng: Cho một máy tự động trạng thái hữu hạn có trạng thái, nếu tồn tại một chuỗi có độ dài thỏa mãn thì ngôn ngữ được máy tự động chấp nhận là vô hạn.nnnwwwn≤|w|≤2n−1n≤|w|≤2n−1n \leq |w| \leq 2n-1 Tôi hiểu các ràng buộc , …

9 automata  finite-automata 

DFA, NFA và epsilon NFA cả ba đều cho phép chúng tôi đại diện cho một ngôn ngữ thông thường cụ thể. Với bất kỳ biểu diễn nào chúng ta có thể đi đến cùng một biểu thức chính quy, vậy tại sao chúng ta cần nghiên cứu cả ba …

9 automata  finite-automata  education 

Chúng ta có thể hình thành DFA chấp nhận số nhị phân chia hết cho .nnn Ví dụ, DFA chấp nhận số nhị phân chia hết cho 2 có thể được hình thành như sau: Tương tự, DFA chấp nhận số nhị phân chia hết cho 3 có thể được …

9 regular-languages  automata  finite-automata  regular-expressions 

Đặt chuỗi đầu vào là . Sau đó, nếu một NFA hiện đang trong trạng thái (và có đọc đầu vào tối đa bảng chữ cái ) sau đó trước khi đọc ký hiệu đầu vào hôm sau chia tách NFA thành hai NFA, một con người trong trạng thái …

9 turing-machines  finite-automata  pushdown-automata  computation-models  nondeterminism 

Tôi dường như nhớ lại từ một lớp đại học rằng đối với một máy Turing có băng hữu hạn sẽ luôn tồn tại một Máy chủ trạng thái hữu hạn tương ứng, nhưng tôi không thể tìm thấy xác nhận này ở bất cứ đâu trên internet. Đây thực …

9 turing-machines  finite-automata 

Tôi đang tạo các DFA ngẫu nhiên để kiểm tra thuật toán giảm DFA trên chúng. Thuật toán mà tôi đang sử dụng ngay bây giờ như sau: đối với mỗi trạng thái , đối với mỗi ký hiệu trong bảng chữ cái , hãy thêm vào một số trạng …

9 algorithms  finite-automata  randomness  pseudo-random-generators  random-graphs 

Gần đây, tôi đã hỏi một câu hỏi về Math SE. Vẫn chưa có phản hồi. Câu hỏi này liên quan đến câu hỏi đó, nhưng chi tiết kỹ thuật hơn đối với khoa học máy tính. Với hai DFAs và B = ( Q , Σ , δ , …

9 formal-languages  reference-request  finite-automata 

Tôi đang bị mắc kẹt khi giải bài tập tiếp theo: Lập luận rằng nếu có ngữ cảnh và là thường xuyên, thì (nghĩa là thương số đúng ) không có ngữ cảnh.LLLRRRL/R={w∣∃x∈Rs.twx∈L}L/R={w∣∃x∈Rs.twx∈L}L / R = \{ w \mid \exists x \in R \;\text{s.t}\; wx \in L\} Tôi biết rằng …

9 formal-languages  context-free  finite-automata  closure-properties  pushdown-automata 

Tôi đã bắt đầu nghiên cứu automata không xác định bằng cách sử dụng cuốn sách Hopcroft và Ullman . Tôi bị mắc kẹt trong một vấn đề mà tôi thấy rất thú vị: Đưa ra một máy tự động hữu hạn không xác định chấp nhận tất cả các …

9 formal-languages  automata  regular-languages  finite-automata  nondeterminism 

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