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

Tôi quan tâm đến việc khái quát hóa một chút về DFA. Như thường lệ, chúng tôi có nhà bộ , hữu hạn bảng chữ cái Σ , một Σ * -Hành động xác định trên Q bởi δ : Q × Σ → Q , và ban đầu nhà …

10 automata-theory  dfa 

Báo cáo vấn đề : Đặt MMM là một máy tự động đẩy xuống (có khả năng không xác định) và để MộtMột\cal A là bảng chữ cái đầu vào của nó. Có một từ w ∈ A*w∈Một*w \in \cal A^* st | w | ≤k|w|≤k|w| \leq k được chấp …

10 cc.complexity-theory  np-hardness  fl.formal-languages  automata-theory 

Cho dù có một số kết quả về việc giải quyết các vấn đề ngôn ngữ chính thức bằng cách sử dụng phân tích toán học, toán học liên tục. Ví dụ: giải quyết vấn đề không trống giao nhau cho ngôn ngữ không ngữ cảnh và ngôn ngữ thông …

9 fl.formal-languages  automata-theory  context-free 

Đặt là bảng chữ cái hữu hạn. Đối với một ngôn ngữ nhất định L ⊆ A * các monoid cú pháp M ( L ) là một khái niệm nổi tiếng trong lý thuyết ngôn ngữ chính thức. Hơn nữa, một monoid M nhận một ngôn ngữ L iff …

9 fl.formal-languages  automata-theory  regular-language  algebra  monoid 

Với một DFA , chúng ta có thể xác định một tập hợp các hàm cho mỗi và với , . Chúng ta có thể khái quát khái niệm này thành một từ và trong đó biểu thị thành phần chức năng. Hơn nữa, chúng tôi biểu thị và là …

9 automata-theory  regular-language  monoid 

Hãy là một bảng chữ cái hữu hạn. Một đang X trên Σ là một tập hợp con của Σ * như vậy mà mỗi từ trong X * có thể được biểu diễn độc đáo như một nối từ trong X . Mã X là hữu hạn nếu | …

9 automata-theory 

Có một thời gian tôi tò mò về Turing Machines với chính xác một băng và chính xác 3 trạng thái (cụ thể là trạng thái bắt đầu q0q0q_0 , trạng thái chấp nhận qacceptqacceptq_{accept} và trạng thái từ chối qrejectqrejectq_{reject} ). Lưu ý rằng tôi cho phép bảng chữ …

9 automata-theory  turing-machines  cellular-automata 

Hãy là một bảng chữ cái kích thước 2 , và xem xét DFAs tối thiểu có kích thước được bao bọc bởi ít nhất m . Đặt f ( m ) biểu thị số lượng DFA tối thiểu khác nhau như vậy.ΣΣ\Sigma222mmmf( m )f(m)f(m) Chúng ta có thể tìm …

9 cc.complexity-theory  automata-theory  nondeterminism  dfa 

Do automata giới hạn tuyến tính không giới hạn truy cập chỉ nhận dạng ngôn ngữ thông thường? Bởi một máy tự động giới hạn tuyến tính không giới hạn (nLBA) Tôi có nghĩa là một máy Turing không phá hủy băng đơn trong đó đầu vào được "đệm" với …

9 automata-theory  turing-machines  regular-language  space-bounded 

Thuật toán của Brzozowski để chuyển đổi DFA thành DFA ở trạng thái tối thiểu tương đương rất đơn giản: nếu biểu thị NFA được hình thành bằng cách đảo ngược tất cả các cạnh trong DFA , biến trạng thái bắt đầu cũ thành trạng thái chấp nhận cũ …

9 automata-theory  minimization 

Với một ngôn ngữ thông thường trên bảng chữ cái A , máy tự động xác định tối thiểu của nó có thể được xem như là một đa giác được kết nối có định hướng với mức độ không đổi | Một | và một trạng thái ban đầu …

9 graph-theory  automata-theory 

Tôi quan tâm đến các thuật toán hiệu quả cho giao lộ DFA cho các trường hợp đặc biệt. Cụ thể, khi các DFA giao nhau tuân theo một cấu trúc nhất định và / hoặc hoạt động trên bảng chữ cái giới hạn. Có nguồn nào mà tôi có …

9 automata-theory  time-complexity  dfa 

Tôi muốn biết lý do tại sao để nhận dạng các ngôn ngữ không ngữ cảnh, chỉ có automata đẩy xuống không xác định (DPA = NPDA) hoạt động. Tại sao automata đẩy xuống xác định (DPDA) không nhận ra các ngôn ngữ như vậy?

9 fl.formal-languages  automata-theory  context-free 

Cập nhật: Có vẻ như vấn đề này đã được nghiên cứu và giải quyết gần đây, xem bài viết wiki này: http://en.wikipedia.org/wiki/Tree_walking_automaton Và cả khảo sát này: http://www.mimuw.edu.pl/~bojan / con / twasurvey.pdf Giả sử thay vì tập hợp các từ thông thường, {0,1} *, các từ của chúng tôi …

9 cc.complexity-theory  automata-theory  space-bounded  dfa 

Theo kinh nghiệm của tôi, các ngôn ngữ nhạy cảm theo ngữ cảnh và automata giới hạn tuyến tính thường bị bỏ qua hoặc vượt qua trong các khóa học lý thuyết tính toán, và thậm chí bị loại khỏi một số sách giáo khoa đáng chú ý, mặc dù …

9 computability  fl.formal-languages  automata-theory