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

Giao điểm của hai DFA (tối thiểu) với n trạng thái có thể được tính bằng thời gian và không gian O (n 2 ). Điều này là tối ưu nói chung, vì DFA kết quả (tối thiểu) có thể có n 2 trạng thái. Tuy nhiên, nếu DFA tối …

25 automata-theory  dfa 

Đối với bất kỳ ngôn ngữ trên Σ * , xác định L 1 / 2 = { x ∈ Σ * : x y ∈ L , y ∈ Σ | x | } . Nói cách, L 1 / 2 bao gồm tất cả các x mà có …

24 fl.formal-languages  automata-theory 

Cho hai chuỗi x và y, tôi muốn xây dựng một DFA kích thước tối thiểu chấp nhận x và từ chối y. Một cách để làm điều này là tìm kiếm vũ phu. Bạn liệt kê DFA bắt đầu từ nhỏ nhất. Bạn thử từng DFA cho đến khi …

23 automata-theory  dfa  fsm 

Đặt L1,L2L1,L2L_1,L_2 là hai ngôn ngữ thông thường được đưa ra bởi NFAs M1,M2M1,M2M_1,M_2 làm đầu vào. Giả sử chúng ta muốn kiểm tra xem L1∩L2≠∅L1∩L2≠∅L_1\cap L_2\neq \emptyset . Điều này rõ ràng có thể được thực hiện bằng thuật toán bậc hai tính toán tự động hóa sản phẩm …

23 ds.algorithms  automata-theory  regular-language  nondeterminism 

Đối với một bảng chữ cái hữu hạn cố định ΣΣ\Sigma , một ngôn ngữ chính thức LLL trên ΣΣ\Sigma là bình thường nếu có tồn tại một automaton hữu hạn xác định (DFA) trên ΣΣ\Sigma mà chấp nhận chính xác LLL . Tôi quan tâm đến các ngôn ngữ …

23 reference-request  fl.formal-languages  automata-theory  online-algorithms  dfa 

Tôi sửa chữa một ngôn ngữ thông thường trên một bảng chữ cái , và tôi xem xét các vấn đề sau đây mà tôi gọi là kế hoạch lá thư cho . Một cách không chính thức, đầu vào cung cấp cho tôi chữ cái và một khoảng cho …

23 cc.complexity-theory  np-hardness  automata-theory  regular-language  scheduling 

Người ta biết rằng vấn đề sau đây là PSPACE-Complete: Với biểu thức chính quy , không L ( β ) = Σ * ?ββ\betaL ( β) = Σ*L(β)=Σ∗L(\beta) = \Sigma^* Điều gì về việc xác định tương đương với các biểu thức chính quy (cố định) khác ?αα\alpha Với …

21 cc.complexity-theory  automata-theory  regular-expressions  pspace 

Các Bổ đề bơm cho các ngôn ngữ thông thường có thể được chứng minh bằng cách xem xét một automaton hữu hạn nhà nước công nhận ngôn ngữ học, chọn một chuỗi với một lớn hơn chiều dài hơn con số của tiểu bang, và áp dụng các nguyên …

21 fl.formal-languages  automata-theory  proofs  grammars 

Ví dụ, trong các ngôn ngữ lập trình, người ta thường viết trình biên dịch / trình thông dịch X-in-X, nhưng ở cấp độ tổng quát hơn, nhiều hệ thống hoàn chỉnh Turing có thể tự mô phỏng theo những cách ấn tượng (ví dụ: mô phỏng Trò chơi cuộc …

20 computability  automata-theory  turing-machines 

Xác định lớp ngôn ngữ "tròn" sau đây trên bảng chữ cái hữu hạn Sigma. Trên thực tế, cái tên đã tồn tại để biểu thị một điều khác có vẻ như, được sử dụng trong lĩnh vực điện toán DNA. AFAICT, đó là một loại ngôn ngữ khác nhau. …

20 fl.formal-languages  automata-theory  regular-language 

Tôi muốn chứng minh (hoặc bác bỏ) các phỏng đoán sau: Phỏng đoán : hai bộ đếm automata (2CA) không thể quyết định ngôn ngữ sau: L = { n |L={n∣L = \{ n \mid các biểu diễn nhị phân và nhị phân của có cả độ dài chẵn hoặc …

19 automata-theory 

Gần đây tôi đã có một cuộc thảo luận về Turing Machines khi tôi được hỏi, "Máy Turing có nguồn gốc từ automata, hay nó là cách khác"? Tôi không biết câu trả lời tất nhiên, nhưng tôi tò mò muốn tìm hiểu. Máy Turing về cơ bản là một …

19 fl.formal-languages  computability  automata-theory  turing-machines  ho.history-overview 

Câu hỏi rất đơn giản và trực tiếp: Đối với một cố định , có bao nhiêu ngôn ngữ (khác nhau) được chấp nhận bởi một DFA có kích thước (tức là trạng thái)? Tôi sẽ chính thức tuyên bố điều này:n nnnnnnnnnn Xác định một DFA là , trong …

19 co.combinatorics  fl.formal-languages  automata-theory  regular-language  dfa 

Một DFA có một từ đồng bộ hóa nếu có một chuỗi gửi bất kỳ trạng thái nào của DFA đến một trạng thái duy nhất. Trong 'Phỏng đoán Cerny cho Automata định kỳ của AN Trahtman (Toán học rời rạc và Khoa học máy tính lý thuyết tập 9: …

19 fl.formal-languages  automata-theory  open-problem  synchronization 

Hầu hết các triển khai hiện đại của các biểu thức chính quy, chẳng hạn như các biểu thức trong perl hoặc .NET, vượt xa định nghĩa khoa học máy tính cổ điển của REGEXes với các tính năng như lookahead và lookbehind. Các tính năng này có cho phép …

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