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

Tôi đặc biệt có nghĩa là các họ ngôn ngữ thừa nhận các chuỗi dài tùy ý - không liên kết trên n bit hoặc danh sách quyết định hoặc bất kỳ ngôn ngữ "đơn giản" nào khác có trong {0,1} ^ n. Tôi đang hỏi về các ngôn ngữ …

9 automata-theory  machine-learning  lg.learning 

Tôi đang tìm cách viết một cuộc khảo sát về phương pháp biểu diễn tính năng động của tính toán dựa trên trạng thái trong khuôn khổ của các khối than. Cho đến nay tôi đã tìm được các bài báo về các biểu diễn đại số của DFA, NFA, …

9 automata-theory  turing-machines  algebra  automated-theorem-proving 

Nó đơn giản để thấy rằng quyền hạn của 2 trên bảng chữ cái {0,1} là thường xuyên vì 10∗10∗10^* là một biểu hiện thường xuyên cho nó. Nhưng sức mạnh của 2 đại diện trong ternary dường như là không thường xuyên. Bơm bổ đề hoặc các lớp dư …

9 automata-theory  fl.formal-languages 

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 

Liên quan đến một câu hỏi gần đây (Giới hạn về kích thước của NFA nhỏ nhất cho L_k-differ ) Noam Nisan đã yêu cầu một phương pháp để đưa ra giới hạn thấp hơn cho kích thước của NFA so với giới hạn phức tạp trong giao tiếp. Điều …

8 fl.formal-languages  automata-theory  lower-bounds  communication-complexity  nfa 

Tôi đang cố gắng làm rõ sự hiểu biết của mình trong ví dụ được trình bày trong Phần 2.2 của Tự động lượng tử hữu hạn 1 chiều: Điểm mạnh Điểm yếu và khái quát hóa ( liên kết thay thế này cũng có thể hữu ích). Ví dụ …

8 fl.formal-languages  quantum-computing  automata-theory  grammars 

Tôi đang viết một trình kiểm tra mô hình đồ chơi và tôi đang ở thời điểm thực hiện dịch thuật LTL sang Buchi automata. Vì nhiều lý do rõ ràng, tôi muốn thuật toán đơn giản :) ví dụ tôi muốn mã vẫn cực kỳ rõ ràng và súc …

8 lo.logic  automata-theory  model-checking  program-verification  linear-temporal-logic 

Viết dưới dạng bản đồ Parikh --ie, Ψ ( w ) = { ( # σ ( w ) ) σ ∈ Σ | w ∈ L } , trong đó # σ ( w ) là số lần σ xuất hiện trong w . Nó nổi tiếng rằng, đối …

8 fl.formal-languages  automata-theory 

Chúng tôi biết rằng tất cả các automata đẩy xuống đều có thể biểu diễn bằng cách sử dụng ngữ pháp không ngữ cảnh. Hơn nữa, có một thuật toán để xây dựng CFG từ bất kỳ máy PDA nào (ví dụ: bằng chứng của Sipser trong phần giới thiệu …

8 automata-theory  fl.formal-languages  grammars  software