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

Lý thuyết tự động, bao gồm các máy trừu tượng, ngữ pháp, phân tích cú pháp, suy luận ngữ pháp, chuyển đổi và các kỹ thuật trạng thái hữu hạn

2
Giới hạn về kích thước của NFA nhỏ nhất cho L_k-differ
Hãy xem xét ngôn ngữ Lk−distinctLk−distinctL_{k-distinct} bao gồm tất cả các chuỗi kkk -letter trên ΣΣ\Sigma sao cho không có hai chữ cái nào bằng nhau: Lk−distinct:={w=σ1σ2...σk∣∀i∈[k]:σi∈Σ and ∀j≠i:σj≠σi}Lk−distinct:={w=σ1σ2...σk∣∀i∈[k]:σi∈Σ and ∀j≠i:σj≠σi} L_{k-distinct} :=\{w = \sigma_1\sigma_2...\sigma_k \mid \forall i\in[k]: \sigma_i\in\Sigma ~\text{ and }~ \forall j\ne i: \sigma_j\ne\sigma_i \} Ngôn ngữ này …
5
Có thể kiểm tra xem một số tính toán là số nguyên hay số nguyên không?
Có thể kiểm tra bằng thuật toán nếu một số tính toán là số nguyên hay số nguyên? Nói cách khác, một thư viện có thể thực hiện các số tính toán để cung cấp các hàm isIntegerhay isRationalkhông? Tôi đoán rằng điều đó là không thể, và điều này …
18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 
2
Một tài liệu tham khảo cho một cách tiếp cận nhiều đại số hơn của người Viking về việc đẩy lùi automata và CFL?
Trong cuốn sách của Sakarovitch về lý thuyết automata, nó được viết trong phần giới thiệu về phần hợp lý trong nhóm tự do mà tài liệu trình bày trong đó đưa ra "nền tảng của một lý thuyết toán học thực sự về ngôn ngữ không ngữ cảnh". Tuy …
2
Ngôn ngữ đơn phương được công nhận bởi automata bộ đếm xác định hai chiều
2dca của (hai chiều xác định một toa automata) (Petersen, 1994) có thể nhận ra các ngôn ngữ unary sau: POWER={02n∣n≥0}.POWER={02n∣n≥0}.\begin{equation} \mathtt{POWER} = \lbrace 0^{2^n} \mid n \geq 0 \rbrace. \end{equation} Có ngôn ngữ đơn phương không tầm thường nào khác được công nhận bởi 2dca không? Ghi chú rằng …
1
Có phải DPDA không có
Trong mô tả chính thức của Automata Pushdown Automata, chúng cho phép di chuyển, trong đó máy có thể bật hoặc đẩy các biểu tượng lên ngăn xếp mà không cần đọc ký hiệu từ đầu vào. Nếu những ε di chuyển không được phép, và chồng chỉ có thể …
1
Sự mơ hồ liên tục có thể làm giảm sự phức tạp trạng thái của một ngôn ngữ thông thường?
Chúng ta nói rằng NFA là Thường xuyên mơ hồ nếu có tồn tại sao cho bất kỳ chữ được chấp nhận bởi một trong hai hoặc (chính xác) đường dẫn.MMM w ∈ Σ * 0 kk ∈ Nk∈Nk\in \mathbb{N}w∈Σ∗w∈Σ∗w\in \Sigma^*000kkk Nếu automaton liên tục mơ hồ với , thì …
2
NFA có thể nhỏ đến mức nào, so với Máy tự động hữu hạn rõ ràng tối thiểu (UFA) tối thiểu của cùng một ngôn ngữ thông thường?
Máy tự động hữu hạn không rõ ràng (UFA) là loại máy tự động hữu hạn không xác định (NFA) đặc biệt. Một NFA được gọi là không rõ ràng nếu mỗi từ có nhiều nhất một đường dẫn chấp nhận.w ∈ Σ*w∈Σ*w\in \Sigma^* Điều này có nghĩa là .D …
1
Có các biến thể của automata đẩy xuống rõ ràng cho phép đẩy các từ lên ngăn xếp không?
Tôi tự hỏi, có bất kỳ bài báo hay nghiên cứu nào liên quan đến automata đẩy xuống rõ ràng, nhưng cho phép các từ, thay vì các chữ cái đơn lẻ, được đẩy lên ngăn xếp. Cách khác, một công trình mà cho phép cho các ký hiệu được …
Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookie và Chính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.