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

Tôi đang tìm kiếm một kỹ thuật chung có thể giúp tôi chứng minh không chỉ Buchi automata là mô hình biểu cảm hơn LTL, mà công thức cụ thể có thể / không thể được thể hiện bằng LTL. Ví dụ, " xảy ra ít nhất là trên các …

11 lo.logic  automata-theory 

Câu hỏi này liên quan đến một câu hỏi gần đây của Janoma . Lý lịch Trong chương trình hạn chế, một thường xuyên toàn cầu hạn chế trên một miền là một cặp với một tuple của các biến (phạm vi) và một DFA trên miền . Việc gán …

11 co.combinatorics  fl.formal-languages  automata-theory  regular-language 

Có thể xây dựng một thuật toán lấy đầu vào tự động đẩy xuống cùng với lời hứa rằng ngôn ngữ được chấp nhận bởi máy tự động này là ngôn ngữ không có ngữ cảnh xác định và đưa ra ngôn ngữ tự động đẩy xuống xác định chấp …

11 reference-request  computability  fl.formal-languages  automata-theory 

Immerman (Descriptive Complexity, 1999) trình bày các trò chơi EF cho thứ tự đơn âm thứ hai hiện sinh (trò chơi Ajtai-Fagin) trên trang 127. Vì MSO trên các từ tương đương với các ngôn ngữ thông thường, trò chơi có thể được viết như sau.∃∃\exists Một ngôn ngữ là …

11 lo.logic  automata-theory  descriptive-complexity 

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 một số được cho. Hãy xem xét ngôn ngữ sau .L n = {nnnLn= {w w|w ∈ { 0 , 1 }n}Ln={ww|w∈{0,1}n}L_n = \{ \; ww \; \vert \; w \in \{0,1\}^{n} \; \} Nói cách khác, là tập hợp các chuỗi sao chép có độ dài . 2 …

10 fl.formal-languages  automata-theory  grammars  context-free 

Có một vấn đề mở trong các ngôn ngữ chính thức được gọi là Vấn đề tách biệt; được nêu ngắn gọn là hai chuỗi có độ dài riêng biệt, độ lớn của DFA được yêu cầu để "tách" chúng, nghĩa là chấp nhận một chuỗi nhưng từ chối chuỗi …

10 fl.formal-languages  automata-theory 

Cách tiếp cận tiêu chuẩn về giảm thiểu Büchi-Automata (hoặc cả Müller-Automata) là gì? Chuyển giao kỹ thuật thông thường từ các từ hữu hạn, nghĩa là đặt hai trạng thái bằng nhau nếu các từ "hết" các trạng thái được chấp nhận là như nhau, sẽ không hoạt động. …

10 fl.formal-languages  automata-theory 

Cụ thể, ý tôi là gì khi thêm vào, chúng tôi xác định là bảng chữ cái { 0 , 1 , 2 , . . . , tôi } . Với ngôn ngữ bình thường Một và B theo một số bảng chữ cái Σ i , nhìn vào …

10 automata-theory 

Một automaton xác định A=(X,Q,q0,F,δ)A=(X,Q,q0,F,δ)\mathcal A = (X, Q, q_0, F, \delta) được gọi là kkk -local cho k>0k>0k > 0 nếu với mọi w∈Xkw∈Xkw \in X^k set {δ(q,w):q∈Q}{δ(q,w):q∈Q}\{ \delta(q,w) : q \in Q \} có chứa ít nhất một yếu tố. Theo trực giác có nghĩa là nếu một …

10 fl.formal-languages  automata-theory  synchronization 

Có 2DFA với trạng thái (trong đó n không cần thiết, giả sử ít nhất 4) yêu cầu ít nhất 2 n trạng thái để mô phỏng bằng cách sử dụng bất kỳ DFA nào?nnnnnn2n2n2^n Một hai chiều DFA (2DFA) là một automaton hữu hạn nhà nước xác định được …

10 automata-theory  lower-bounds 

Đặt là ngôn ngữ không ngữ cảnh. Xác định p p c ( L ) là bao đóng tiền tố và hậu tố của L , nói cách khác, p p c ( L ) chứa tất cả các tiền tố và hậu tố của L , và do đó …

10 fl.formal-languages  automata-theory  grammars  context-free-languages 

Tôi đang cố gắng đưa ra một phân loại thuật toán để chuyển đổi các biểu thức chính quy thành automata để thực hiện một số thử nghiệm thực nghiệm về các tính chất phức tạp của chúng trong các miền cụ thể. Tôi biết một số tên 'lớn hơn', …

10 automata-theory  fl.formal-languages  regular-expressions 

Xin chào, hiện tại tôi đang cố gắng tìm một đề tài luận văn thạc sĩ vững chắc liên quan đến một số nhánh của lý thuyết automata hoặc liên quan đến các ngôn ngữ chính thức. Tôi đang cố gắng tạo ra một số ý tưởng tốt cho một …

10 ds.algorithms  automata-theory  fl.formal-languages  soft-question 

Một DFA hoặc NFA đọc qua một chuỗi đầu vào với một đầu duy nhất, di chuyển từ trái sang phải. Có vẻ tự nhiên khi tự hỏi về các máy trạng thái hữu hạn có nhiều đầu , mỗi đầu di chuyển qua đầu vào từ trái sang phải, …

10 fl.formal-languages  automata-theory  regular-language  nfa