Khoa học máy tính lý thuyết automata-theory

1

Có một cuộc khảo sát về lĩnh vực tự động lượng tử?

Tôi đang tìm một bài khảo sát về các khái niệm quan trọng trong lĩnh vực Quantum Automata. Tôi đã tìm thấy Lý thuyết lượng tử tự động - Một đánh giá của Hirvensalo, nhưng nghe có vẻ quá súc tích để nắm bắt chủ đề này. Có một cuộc …

12 reference-request quantum-computing automata-theory

2

Trình tạo giả ngẫu nhiên cho automata hữu hạn

Đặt là hằng số. Làm thế nào chúng ta có thể xây dựng một trình tạo giả ngẫu nhiên để đánh lừa automata hữu hạn -state?ddddddd Ở đây, một automata hữu hạn -state có các nút , nút bắt đầu, một tập hợp các nút đại diện cho các trạng …

12 automata-theory pseudorandomness pseudorandom-generators

1

Giảm thiểu tự động trạng thái hữu hạn còn lại

Máy tự động trạng thái hữu hạn dư (RFSA, được định nghĩa trong [DLT02]) là các NFA có một số tính năng đẹp chung với DFA. Đặc biệt, luôn có một RFSA có kích thước tối thiểu chính tắc cho mọi ngôn ngữ thông thường và ngôn ngữ được mỗi …

12 cc.complexity-theory ds.algorithms automata-theory lg.learning minimization

1

Có một cuốn sách / khảo sát phác thảo phân cấp lớp ngôn ngữ, thuộc tính đóng cửa, vv

Tôi hiện đang thực hiện một số nghiên cứu về Ngôn ngữ chính thức liên quan đến các lớp ngôn ngữ trên Chính quy nhưng dưới Bối cảnh miễn phí. Tôi đang xem xét những thứ như Máy đa điểm có giới hạn Reversal, Máy đếm đơn ngăn xếp, CFL …

12 reference-request co.combinatorics fl.formal-languages automata-theory research-practice

1

Chi phí của một truy vấn tương đương cho DFA

Lấy cảm hứng từ câu hỏi này , tôi tò mò về những điều sau đây: Độ phức tạp trong trường hợp xấu nhất của việc kiểm tra xem một DFA nhất định có chấp nhận cùng ngôn ngữ với biểu thức chính quy đã cho không? Điều này có …

12 automata-theory lg.learning regular-expressions dfa

2

Tại sao trạng thái của một FSM theo truyền thống được ký hiệu là ?

Trong khi dạy cách triển khai các FSM bằng các mạch logic đồng bộ, tôi nhận thấy một sự trùng hợp thú vị: trong cả thế giới CS lý thuyết và trong thế giới kỹ thuật điện, "trạng thái" thường được ký hiệu là (và không gian trạng thái ). …

12 automata-theory ho.history-overview

2

Máy tự động hữu hạn không xác định tối thiểu không đẳng cấu

Ai đó có thể cung cấp một ví dụ về hai tương đương (nhận dạng cùng một ngôn ngữ) automata không xác định tối thiểu (NFA) không phải là đẳng cấu?

12 fl.formal-languages automata-theory

2

Có thể nhiều máy tự động quyết định tất cả các ngôn ngữ nhạy cảm ngữ cảnh xác định?

MPA (automebble multiebble) là 2DFA (automaton hữu hạn xác định hai chiều) có thể sử dụng số lượng viên sỏi tùy ý (thực tế nhiều nhất là viên sỏi trên một đầu vào w - đầu vào được ghi trên băng giữa hai đầu -đánh dấu là # w # …

12 cc.complexity-theory reference-request automata-theory space-bounded

2

Tính biểu cảm của Büchi vs CTL (*)

Mối quan hệ giữa tính biểu cảm của LTL , Büchi / QPTL , CTL và CTL * là gì? Bạn có thể đưa ra một số tài liệu tham khảo bao gồm càng nhiều logic này theo thời gian càng tốt (đặc biệt là giữa thời gian tuyến tính …

12 lo.logic automata-theory model-checking temporal-logic

3

DFA tối thiểu đáp ứng một cái nhìn hữu hạn về ngôn ngữ

Giả sử ta có một ngôn ngữ , nhưng người ta không biết khái niệm về chuỗi thực sự là một phần của ngôn ngữ. Tất cả người ta là một cái nhìn hữu hạn của ngôn ngữ: một tập hữu hạn các chuỗi Một ⊆ L được biết đến …

12 cc.complexity-theory fl.formal-languages automata-theory

3

Một ngôn ngữ đơn giản tiếng Nhật bên ngoài

Tôi đang tìm kiếm một ngôn ngữ L với các thuộc tính sau: L không nên có ngữ cảnh. Bổ sung của L không nên không có ngữ cảnh. (Tất cả mọi thứ bạn thấy trong sách giáo khoa là ví dụ điển hình của các ngôn ngữ không ngữ …

12 fl.formal-languages automata-theory

2

Liệu một ngôn ngữ thông thường nhất định có chứa một tập hợp con không có tiền tố vô hạn?

Một tập hợp các từ trên một bảng chữ cái hữu hạn là không có tiền tố nếu không có hai từ riêng biệt trong đó một từ là tiền tố của từ kia. Câu hỏi là: Sự phức tạp của việc kiểm tra xem một ngôn ngữ thông thường …

11 fl.formal-languages automata-theory prefix-free-code nfa

3

Có bằng chứng phi xây dựng về sự tồn tại của các máy / NFAs nhỏ của Turing không?

Sau khi đọc một câu hỏi liên quan , về các bằng chứng tồn tại phi xây dựng của các thuật toán, tôi đã tự hỏi liệu có phương pháp nào cho thấy sự tồn tại của các máy tính "nhỏ" (nói, thông thái) mà không thực sự xây dựng …

11 cc.complexity-theory automata-theory turing-machines

1

Liệu automata xen kẽ một chiều với một bộ đếm có thể nhận ra một số ngôn ngữ không chính quy đơn nhất không?

Máy tự động đẩy xuống xen kẽ một chiều (1APDA) có thể nhận ra bất kỳ ngôn ngữ nào trong (Thay thế bởi Chandra, Kozen và Stockmeyer, 1981) . Bằng cách thay thế bộ lưu trữ đẩy xuống của 1APDA bằng bộ đếm, chúng ta có thể có được một …

11 automata-theory counter-automata unary-languages

1

Những thuật toán nào tồn tại để xây dựng một DFA nhận ra ngôn ngữ được mô tả bởi một biểu thức chính quy?

Tất cả các sách giáo khoa của tôi đều sử dụng cùng một thuật toán để tạo ra một DFA được cung cấp một biểu thức chính: Đầu tiên, tạo một NFA nhận ra ngôn ngữ của biểu thức chính, sau đó, sử dụng cấu trúc tập hợp con (còn …

11 automata-theory regular-expressions dfa

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