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

Tôi đang xem xét một số lưu ý về automata cây và tôi đang cố gắng kết luận một bằng chứng cho thấy giáo sư chưa hoàn thành. Tuyên bố là: Đặt và . Chứng minh rằng không thể nhận ra Buchi.A={a,b}A={a,b}A = \{a,b\}T={t∈TωA∣every path in t contains a finite …

7 automata  trees  buchi-automata 

Nói rằng chúng tôi có 3 DFA. Chúng tôi biết cách HOẶC, VÀ, hoặc KHÔNG. Nhưng làm thế nào để một XOR chúng? Không có một đề cập duy nhất về điều này trực tuyến. xXORyXORz=((x|y)(¬x|y)|z)(¬((x|y)(¬x|y))|z)xXORyXORz=((x|y)(¬x|y)|z)(¬((x|y)(¬x|y))|z)x\; \mathrm{XOR} \;y\; \mathrm{XOR} \;z = ((x|y)(\neg x|y)|z) (\neg ((x|y)(\neg x|y))|z). Đây là cách quá …

7 automata  finite-automata  closure-properties 

Bây giờ tôi khá tự tin về cách tôi sẽ biến thứ gì đó thành Máy Turing. Bây giờ câu hỏi của tôi là làm thế nào để bạn chuyển đổi TM thành phần bổ sung của Turing Machine. Từ những gì tôi có thể nhớ trong Finite Automata, bổ …

7 turing-machines  automata  closure-properties 

Hãy xem xét một ngôn ngữ thông thường LLL. Để choD(L)D(L)D(L) là một DFA tối thiểu cho LLL và N(L)N(L)N(L) là một NFA tối thiểu cho LLL(tối thiểu theo nghĩa số lượng trạng thái nhỏ nhất có thể có cho một máy tự động nhận dạng ngôn ngữ đã cho). …

7 formal-languages  automata  finite-automata  descriptive-complexity 

Với như là một chuỗi trên một số bảng chữ cái, các thuật toán nổi tiếng nhất để tính toán một xác định automaton hữu hạn nhà nước tương ứng (DFA) chấp nhận bất kỳ chuỗi chứa là những gì ?ssssss Tôi chủ yếu quan tâm đến độ phức tạp …

7 automata  finite-automata  strings  substrings 

Nếu Máy Turing là máy tự động tương đương với phép tính , thì máy tự động tương đương với máy tính gì? Tôi cho rằng đó sẽ là một loại automata giống với Turing Machine, nhưng có hỗ trợ cho các kênh liên lạc hoặc tín hiệu thuộc loại …

7 automata  concurrency  machine-models  pi-calculus 

Vì vậy, tôi đã cố gắng để giải quyết vấn đề này trong một thời gian dài và gần như cảm thấy như tôi đang đi vào vòng lặp về câu hỏi này. Cho NFA sau: Sử dụng thuật toán GNFA có được biểu thức chính quy. Tôi hiểu rằng …

7 automata  finite-automata  regular-expressions  nondeterminism 

Tôi đang thực hiện một số nghiên cứu về NFA và các vấn đề bao gồm với chúng. Tôi biết rằng nói chung, các vấn đề bao gồm và chuyển đổi thành NFA rõ ràng, đều hoàn toàn PSPACE. Tôi đang tự hỏi, có bất kỳ lớp con nào của …

7 complexity-theory  formal-languages  automata  finite-automata  nondeterminism 

Tôi đang xây dựng một automata hữu hạn xác định (DFA) cho ngôn ngữ của tất cả các chuỗi được xác định trên có độ dài là chẵn và số s là số lẻ. Tôi đã xây dựng từng DFA riêng biệt và sau đó kết hợp:{0,1}{0,1}\{0,1\}111 Quy trình đã …

7 automata  regular-languages  finite-automata 

Tôi đang đọc "Giới thiệu về ngôn ngữ chính thức và Automata" được viết bởi Peter Linz và sau khi đọc năm chương đầu tiên tôi gặp phải vấn đề với các ngữ pháp đơn giản và thường xuyên (đặc biệt là tuyến tính) rất giống nhau. Mối quan hệ …

7 regular-languages  automata  context-free  formal-grammars 

Tôi đang nghiên cứu các phương pháp khác nhau để định nghĩa tính toán với các hệ thống động lực liên tục. Tôi đã cố gắng tìm một giới thiệu hay về lý thuyết "hệ thống chuyển đổi nhà nước" nhưng không thực hiện được. Có ai biết một giới …

7 computability  automata  reference-request  computation-models 

Tôi đang xem xét bài kiểm tra giữa kỳ của mình và muốn đăng bài này để xem có ai có thể phát hiện ra bất kỳ lỗi nào không. Tôi phải tạo ra một thiết bị nhận dạng CFG này: SR→ R 1 R 1 R 1→ 0 R …

7 formal-languages  automata  context-free  pushdown-automata