Câu hỏi được gắn thẻ «fl.formal-languages»

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 

Barry Jay trong cuốn sách của mình đưa ra một số tuyên bố táo bạo - về cơ bản bằng cách nói rằng, cốt lõi của một chương trình, mọi thứ đều là nguyên tử hoặc sáng tác. Sau đó, mọi thứ có thể dễ dàng lặp đi lặp lại, …

11 fl.formal-languages 

Tôi có thể tìm thấy phần giới thiệu về automata xác suất ở đâu và những gì họ nhận ra (một số chức năng từ từ đến )? Có một thuật ngữ tiêu chuẩn cho các chức năng như vậy được nhận dạng bởi automata xác suất, tương tự như …

10 reference-request  fl.formal-languages  probabilistic-automata 

Đặ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âu hỏi này là về việc liệu có bất kỳ tarp Turing có thể đảo ngược nào được biết đến hay không, trong đó "đảo ngược" có nghĩa là theo nghĩa của Axelsen và Glück , và "tarpit" là một khái niệm không chính thức hơn nhiều (và có thể …

10 fl.formal-languages  computability  machine-models 

Trong Chương 13 "Đối tượng nguyên tử" của cuốn sách "Thuật toán phân tán" của Nancy Lynch, tính tuyến tính (còn được gọi là nguyên tử) được chứng minh là một đặc tính an toàn. Điều đó có nghĩa là, thuộc tính theo dõi tương ứng của nó là không …

10 reference-request  fl.formal-languages  dc.distributed-comp  concurrency 

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 

Xét một ngôn ngữ không trống của các chuỗi nhị phân có độ dài n . Tôi có thể mô tả L với mạch Boolean C với n đầu vào và một đầu ra sao cho C ( w ) là đúng iff w ∈ L : điều này là …

10 fl.formal-languages  circuit-complexity 

Đặ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 

Ngôn ngữ xác định ngữ cảnh (DCFL) và ngôn ngữ đẩy xuống rõ ràng (VPL) là cả hai bộ ngôn ngữ chính thức giữa ngôn ngữ không ngữ cảnh (CFL) và ngôn ngữ thông thường (REG). Có một ký hiệu dễ đọc nào có thể được thể hiện bằng ASCII …

10 fl.formal-languages 

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