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

Các câu hỏi về automata hữu hạn, một mô hình tự động cơ bản với bộ nhớ hữu hạn. Nó tương đương với các ngôn ngữ thông thường và là cơ sở cho nhiều mô hình phức tạp hơn.

4
Biểu thức chính quy và 'bắt giữ dấu ngoặc đơn' với 'phản hồi'
Chúng tôi biết rằng các biểu thức chính quy (RE) được triển khai với automata hữu hạn (FA). Trong một số ngôn ngữ (như JavaScript) trong RE, có các tính năng như 'nắm bắt dấu ngoặc đơn' với 'phản hồi': https://developer.mozilla.org/en-US/docs/Web/JavaScript/Guide/Regular_Expressions#special-capturing-parentheses (x) Kết hợp 'x' và ghi nhớ trận đấu, …
3
Làm thế nào để XOR automata?
Nói rằng chúng tôi có 3 DFA. Chúng tôi biết cách HOẶC, VÀ, hoặc KHÔNG. Nhưng làm thế nào để một XOR chúng? Không có một đề cập duy nhất về điều này trực tuyến. xXORyXORz=((x|y)(¬x|y)|z)(¬((x|y)(¬x|y))|z)xXORyXORz=((x|y)(¬x|y)|z)(¬((x|y)(¬x|y))|z)x\; \mathrm{XOR} \;y\; \mathrm{XOR} \;z = ((x|y)(\neg x|y)|z) (\neg ((x|y)(\neg x|y))|z). Đây là cách quá …
1
NFA nhỏ nhất chấp nhận nối hai từ có độ dài khác nhau ở tất cả các vị trí
Chok∈Nk∈Nk\in \mathbb N Tôi đang tìm một bản dựng NFA nhỏ cho ngôn ngữ ghép hai từ có độ dài khác nhau về chỉ số, nghĩa làkkkLk={u⋅v∈Σ∗:|u|=|v|=k∧∀i,ui≠vi}Lk={u⋅v∈Σ∗:|u|=|v|=k∧∀i,ui≠vi}L_k=\{u\cdot v \in \Sigma^* : |u|=|v|=k\wedge \forall i, u_i\neq v_i\} Lưu ý rằng vì là cố định, và là ngôn ngữ hữu hạn.kkk|Lk|=(|Σ|⋅(|Σ|−1))k|Lk|=(|Σ|⋅(|Σ|−1))k|L_k|=(|\Sigma|\cdot(|\Sigma|-1))^k % …
2
Automaton cho khớp chuỗi con
Với như là một chuỗi trên một số bảng chữ cái, các thuật toán nổi tiếng nhất để tính toán một xác định automaton hữu hạn nhà nước tương ứng (DFA) chấp nhận bất kỳ chuỗi chứa là những gì ?ssssss Tôi chủ yếu quan tâm đến độ phức tạp …
4
Có những từ vựng thực sự sử dụng NFA trực tiếp thay vì trước tiên chuyển đổi chúng thành DFA không?
Tôi đang học lớp Coursera trên các trình biên dịch và trong bài học về từ vựng, có gợi ý rằng có một sự đánh đổi không gian thời gian giữa việc sử dụng máy tự động hữu hạn không xác định (NFA) và máy tự động hữu hạn xác …
1
Kết nối giữa chức năng tiền tố KMP và tự động khớp chuỗi
Để cho AP=(Q,Σ,δ,0,{m})AP=(Q,Σ,δ,0,{m})A_P = (Q,\Sigma,\delta,0,\{m\})các automaton chuỗi phù hợp cho mô hìnhP∈ΣmP∈ΣmP \in \Sigma^m, đó là Q={0,1,…,m}Q={0,1,…,m}Q = \{0,1,\dots,m\} δ(q,a)=σP(P0,q⋅a)δ(q,a)=σP(P0,q⋅a)\delta(q,a) = \sigma_P(P_{0,q}\cdot a) cho tất cả q∈Qq∈Qq\in Q và a∈Σa∈Σa\in \Sigma với σP(w)σP(w)\sigma_P(w) độ dài của tiền tố dài nhất của PPP đó là một hậu tố của www, đó …
Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookie và Chính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.