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

Các bộ chuyển đổi được xem xét ở đây là những Wikipedia gọi là bộ chuyển đổi trạng thái hữu hạn . Hành vi của một bộ chuyển đổi , nghĩa là, mối quan hệ mà nó tính toán, được viết : một từ là một đầu ra cho iff …

10 ds.algorithms  reference-request  automata-theory  regular-language  dfa 

Tôi quan tâm đến việc khái quát hóa một chút về DFA. Như thường lệ, chúng tôi có nhà bộ , hữu hạn bảng chữ cái Σ , một Σ * -Hành động xác định trên Q bởi δ : Q × Σ → Q , và ban đầu nhà …

10 automata-theory  dfa 

Hãy là một bảng chữ cái kích thước 2 , và xem xét DFAs tối thiểu có kích thước được bao bọc bởi ít nhất m . Đặt f ( m ) biểu thị số lượng DFA tối thiểu khác nhau như vậy.ΣΣ\Sigma222mmmf( m )f(m)f(m) Chúng ta có thể tìm …

9 cc.complexity-theory  automata-theory  nondeterminism  dfa 

Tôi quan tâm đến các thuật toán hiệu quả cho giao lộ DFA cho các trường hợp đặc biệt. Cụ thể, khi các DFA giao nhau tuân theo một cấu trúc nhất định và / hoặc hoạt động trên bảng chữ cái giới hạn. Có nguồn nào mà tôi có …

9 automata-theory  time-complexity  dfa 

Cập nhật: Có vẻ như vấn đề này đã được nghiên cứu và giải quyết gần đây, xem bài viết wiki này: http://en.wikipedia.org/wiki/Tree_walking_automaton Và cả khảo sát này: http://www.mimuw.edu.pl/~bojan / con / twasurvey.pdf Giả sử thay vì tập hợp các từ thông thường, {0,1} *, các từ của chúng tôi …

9 cc.complexity-theory  automata-theory  space-bounded  dfa 

Các Cerny phỏng đoán là tuyên bố rằng bất kỳ automaton đồng bộ hóa với bang có một từ đồng bộ hóa có độ dài tối đa là . Giới hạn trên tốt nhất hiện tại cho độ dài của từ đồng bộ hóa là . Giả sử hai trạng …

8 fl.formal-languages  automata-theory  open-problem  dfa  synchronization 

Cho một NFA và DFA D tương đương của nó, kết quả từ tổng xác định của N (ví dụ sử dụng cấu trúc powerset), các thuộc tính sau giữ cho N , D và cho bất kỳ từ w :NNNDDDNNNNNNDDDwww đọc w trong thời gian chạy tối đa O …

8 automata-theory  regular-language  nondeterminism  dfa  nfa