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

Các câu hỏi về automata, ngữ pháp chính thức hoặc các mô hình tính toán khác có liên quan cụ thể đến việc sử dụng thuyết không điều kiện. Không được nhầm lẫn với sự ngẫu nhiên hoặc mơ hồ!

1
Lớp nhỏ nhất của mô hình automata có lớp ngôn ngữ tương ứng chứa CFL và được đóng lại (dis) cho phép không thuyết phục trong mô hình
Từ một bình luận , một câu hỏi thú vị xuất hiện. Lớp CFL (các ngôn ngữ được công nhận bởi các PDA) rõ ràng không bị đóng cửa theo thuyết không điều kiện - điều tôi muốn nói là điều này là các PDA xác định không có sức …
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 % …
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 …
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.