Câu hỏi được gắn thẻ «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 

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 

Sau lớp Lý thuyết tính toán của tôi hôm nay, câu hỏi này xuất hiện trong đầu tôi: Nếu một vấn đề có thể được giải quyết bằng một máy tự động hữu hạn, thì vấn đề này thuộc về P. Tôi nghĩ đó là sự thật, vì automata nhận …

8 complexity-theory  automata  finite-automata  polynomial-time 

Đâ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 

L:={w∈{0,1}∗|L:={w∈{0,1}∗|L := \{w \in \{0,1\}^* | độ dài của là số lẻ 1 ở giữawww∧∧ \wedge w}w}w\} Vì vậy, bảng chữ cái là . Vấn đề của tôi là tôi không thể theo dõi sự bình đẳng của ký tự trước và sau . Một DFA giới hạn cho độ …

8 formal-languages  finite-automata  formal-grammars 

Tôi có một máy tự động hữu hạn không có trạng thái cuối cùng / chấp nhận, vì vậy F trống. Làm thế nào để tôi giảm thiểu nó? Tôi đã đạt được điều này trong một bài kiểm tra và tôi không biết cách tiếp cận vấn đề vì …

8 automata  finite-automata 

Đặt là một NFA tuần hoàn.MMM Vì là chu kỳ, là hữu hạn.MMML(M)L(M)L(M) Chúng ta có thể tính toántrong thời gian đa thức?|L(M)||L(M)||L(M)| Nếu không, chúng ta có thể ước chừng nó? Lưu ý rằng số lượng từ không giống với số lượng đường dẫn chấp nhận trong , có …

8 formal-languages  automata  finite-automata  nondeterminism  counting 

Điều này có phần liên quan đến một câu hỏi khác mà tôi đã hỏi , nhưng tôi cảm thấy nó đủ khác biệt để đảm bảo câu hỏi của riêng mình. Tôi đang thực hiện nghiên cứu trong đó tôi đang cố gắng tìm cấu trúc bổ sung của …

8 formal-languages  automata  finite-automata  discrete-mathematics  nondeterminism 

Tôi đang tìm kiếm các ứng dụng thực tế của Máy trạng thái hữu hạn như máy DFA, NFA, Moore, Mealy ... Sẽ rất hữu ích nếu ai đó chỉ ra các ví dụ từ Linux Kernel. Tôi biết rằng DFA được sử dụng trong khớp chuỗi như thuật toán …

8 reference-request  automata  finite-automata 

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 

Tôi đã cố gắng thực hiện thuật toán của Brzozowski nhưng tôi mới phát hiện ra rằng nó tạo ra tự động dưới mức tối ưu cho một loại đầu vào nhất định, có thêm một trạng thái so với những gì thực sự cần thiết trong kết quả. Tôi …

8 algorithms  automata  finite-automata 

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 

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 

Tôi có một câu hỏi liên quan đến việc đếm DFA: Đưa ra một Σ = {0, 1}chuỗi đầu vào, với tập trạng thái Q = {1...n}, làm thế nào tôi có thể tìm thấy tổng số DFA có thể được xây dựng? Tôi tin rằng đây là một vấn …

8 finite-automata  combinatorics