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

Các câu hỏi về các thiết bị toán học đọc ký hiệu luồng đầu vào bằng ký hiệu và sử dụng bản đồ chuyển trạng thái để tạo luồng đầu ra, có thể sử dụng bộ lưu trữ thứ cấp.

6
Có bất kỳ automata không hữu hạn?
Trong lý thuyết automata, tất cả chúng ta đều đọc automata là automata hữu hạn, ngay từ đầu. Những gì tôi muốn biết là, tại sao automata là hữu hạn? Để rõ ràng, cái gì trong một máy tự động là hữu hạn - bảng chữ cái, ngôn ngữ, chuỗi …
2
Tại sao loại khoảng trống của C không giống với loại trống / đáy?
Wikipedia cũng như các nguồn khác mà tôi đã tìm thấy voidloại C là một loại đơn vị trái ngược với loại trống. Tôi thấy điều này khó hiểu vì dường như với tôi voidphù hợp hơn với định nghĩa về loại trống / đáy. Không có giá trị cư …
28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 
6
Tạo kết hợp từ một nhóm các cặp mà không lặp lại các phần tử
Tôi có một bộ các cặp. Mỗi cặp có dạng (x, y) sao cho x, y thuộc các số nguyên từ phạm vi [0,n). Vì vậy, nếu n là 4, thì tôi có các cặp sau: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) Tôi đã có các cặp. Bây giờ, tôi …
3
Các điều kiện để một NFA cho DFA tương đương của nó có kích thước tối đa là gì?
Chúng tôi biết rằng các DFA tương đương với NFA về sức mạnh biểu cảm; cũng có một thuật toán đã biết để chuyển đổi NFA thành DFA (thật không may bây giờ tôi biết người phát minh ra thuật toán đó), trong trường hợp xấu nhất mang lại cho …
1
Quyết định xem một ngôn ngữ không ngữ cảnh có thể được chấp nhận bởi một máy tự động đẩy xuống xác định
Đưa ra một ngữ pháp G không ngữ cảnh, tồn tại một Pushdown Automaton Nondeterministic Pushdown Automaton N chấp nhận chính xác ngôn ngữ mà G chấp nhận. (và ngược lại visa) Cũng có thể tồn tại một Máy tự động đẩy xuống xác định D cũng chấp nhận chính …
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.