Запитання з тегом «automata»

Я погоджуюся, що машина Тьюрінга може робити "всі можливі математичні проблеми". Але це тому, що це лише машинне подання алгоритму: спочатку зробіть це, потім зробіть, нарешті, виведіть це. Я маю на увазі все, що можна вирішити, можна представити алгоритмом (тому що саме це визначення 'розв’язуваного'). Це просто тавтологія. Я нічого …

54 algorithms  turing-machines  automata  computation-models 

Існує багато методів, щоб довести, що мова не є регулярною , але що мені потрібно зробити, щоб довести, що якась мова є регулярною? Наприклад, якщо мені дано, що є регулярним, як я можу довести, що наступний є регулярним?L 'LLLL'L′L' L': = { w ∈ L : u v = w …

48 formal-languages  regular-languages  automata  proof-techniques  reference-question 

Див. Кінець цього допису, щоб отримати додаткові роз'яснення щодо визначення (-ів) автоматизованих міні-купи. Можна уявити використання різноманітних структур даних для зберігання інформації для використання в державних машинах. Наприклад, автоматичні автомати, що висуваються, зберігають інформацію в стек, а машини Тьюрінга використовують стрічку. Показано, що державні машини, що використовують черги, і ті, …

44 formal-languages  automata 

У цій відповіді згадується Регулярну мову можна розпізнати за допомогою кінцевого автомата. Без контекстної мови потрібен стек, а контекстно-чутлива мова потребує двох стеків (що еквівалентно твердженню, що вона вимагає повноцінного апарату Тьюрінга) . Мені хотілося дізнатись щодо правдивості сміливої ​​частини. Це насправді правда чи ні? Який хороший спосіб досягти відповіді …

41 computability  turing-machines  automata  pushdown-automata 

Назвемо контекстну мову детермінованою тоді і лише тоді, коли вона може бути прийнята детермінованим автоматичним натисканням, а недетермінованою в іншому випадку. Назвемо безконтекстну мову за своєю суттю неоднозначною тоді і лише тоді, коли всі безконтекстні граматики, що породжують мову, неоднозначні, а однозначно - інакше. Прикладом детермінованої однозначної мови є мова: …

36 formal-languages  automata  formal-grammars  pushdown-automata 

У теорії автоматів ми всі читаємо автомати як кінцеві автомати з самого початку. Що я хочу знати, чому автомати є обмеженими? Щоб було зрозуміло, що це в кінцевому автоматі - алфавіті, мові, рядках, зроблених регулярними виразами, чи що? А чи є (теоретично) якісь некінцеві автомати?

35 automata  finite-automata 

Бачачи, що мови ієрархії Хомського типу 3 можуть бути розпізнані державною машиною без зовнішньої пам’яті (тобто кінцевим автоматом), тип 2 - державною машиною з єдиним стеком (тобто автоматикою, що висувається), а тип 0 - державна машина з двома стеками (або, що еквівалентно, стрічкою, як це стосується машин Тьюрінга), як мови …

34 formal-languages  applied-theory  computability  automata  formal-grammars 

Відомий факт, що кожна формула LTL може бути виражена Büchi -automaton. Але, мабуть, автомати Büchi - це більш потужна, виразна модель. Я десь чув, що автомати Büchi еквівалентні лінійному часу -calculus (тобто -calculus зі звичайними точками фіксування та лише одним тимчасовим оператором: ).ωω\omegaμμ\muμμ\muXX\mathbf{X} Чи існує алгоритм (конструктивний доказ) цієї рівності?

30 logic  automata  formal-methods  linear-temporal-logic  buchi-automata 

Вікіпедія, а також інші джерела, які я знайшов, перелічують voidтип C як тип одиниці, а не порожній. Я вважаю це заплутаним, як мені здається, що voidкраще відповідає визначенню типу порожній / нижній. voidНаскільки я можу сказати, цінності не населяються . Функція з типом повернення void вказує, що функція нічого не …

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 

У мене є набір пар. Кожна пара має вигляд (x, y) такий, що x, y належать цілим числам з діапазону [0,n). Отже, якщо n дорівнює 4, то у мене є такі пари: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) У мене вже є пари. Тепер я повинен побудувати комбінацію за допомогою …

28 algorithms  graphics  data-structures  computational-geometry  operating-systems  process-scheduling  algorithms  sorting  database-theory  relational-algebra  finite-model-theory  logic  automata  linear-temporal-logic  buchi-automata  complexity-theory  np-complete  decision-problem  machine-learning  algorithms  pattern-recognition  logic  formal-languages  formal-grammars  context-free 

Це питання було перенесено із переповнення стека, оскільки на нього можна відповісти на інформаційній стеці. Мігрували 7 років тому . Я створив простий лексер регулярного вираження і аналізатор, щоб прийняти регулярний вираз і генерувати його дерево розбору. Створення недетермінованого автоматичного кінцевого стану з цього дерева розбору відносно просте для основних …

26 automata  finite-automata  regular-expressions 

Ми знаємо, що DFA еквівалентні NFA в потужності виразності; Існує також відомий алгоритм перетворення NFA в DFA (на жаль, я зараз знаю винахідника цього алгоритму), який, в гіршому випадку, дає нам станів, якщо в нашому NFA був станів. S2S2S2^SSSS Моє запитання: що визначає найгірший сценарій? Ось транскрипція алгоритму у випадку …

24 formal-languages  automata  regular-languages  finite-automata  nondeterminism 

Автомат - це абстрактна модель цифрового комп’ютера. Цифрові комп'ютери повністю детерміновані; їх стан у будь-який час однозначно передбачуваний із вхідного та початкового стану. Коли ми намагаємося моделювати реальні системи, то чому включати недетермінізм у теорію автоматів?

23 automata  nondeterminism  applied-theory 

Враховуючи контекстну граматику G, існує недетермінований автоматичний Pushdown N, який приймає саме ту мову, яку G приймає. (і віза) Також може існувати детермінований Pushdown Automaton D, який точно приймає мову G, яка також приймає. Це залежить від граматики. За яким алгоритмом на виробництвах G можна визначити, чи існує D?

22 automata  context-free  pushdown-automata 

Чи є якась "природна" мова, яку не можна визначити? "природний" я маю на увазі мову, визначену безпосередньо властивостями рядків, а не через машини та їх еквівалент. Іншими словами, якщо мова виглядає як , де М являє собою Т.М., DFA (або регулярного досвіду), КПК (або граматика), і т.д .., то L …

22 formal-languages  automata  computability  undecidability