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

У моєму курсі "Теорія обчислювальної техніки" багато наших проблем пов'язані з використанням індукції по довжині вхідного рядка для доведення тверджень про кінцеві автомати. Я розумію математичну індукцію, однак, коли струни вступають у гру, я отримую реальну активність. Я дуже вдячний, якби хтось пройшов процес створення такого доказу крок за кроком. …

20 automata  finite-automata  proof-techniques  reference-question  induction 

Усі недетерміновані кінцеві автомати можуть бути перетворені на еквівалентні детерміновані кінцеві автомати. Однак детерміновані кінцеві автомати дозволяють лише одну стрілку на символ, що вказує на стан. Тому його держави повинні бути членами владної сукупності штатів NFA. Це, мабуть, вказує на те, що кількість штатів ДФА може масштабуватися експоненціально з точки …

20 automata  finite-automata  nondeterminism 

Я читав сторінку wikipedia для правила 110 у стільникових автоматиках, і я більш-менш знаю, як вони працюють (набір правил визначає, де намалювати наступний 1 або 0). Я щойно прочитав, що вони Тюрінг завершені, але я навіть не можу зрозуміти, як би ви "програмували" на "правило 110"?

19 computability  automata  turing-completeness  cellular-automata 

Дозволяти L = { aн∣ ∃p ≥ n p, p + 2 є простими } . L={an∣∃p≥n p, p+2 are prime}.\qquad L = \{a^n \mid \exists_{p \geq n}\ p\,,\ p+2 \text{ are prime}\}. Чи регулярно ?LLL Це питання на перший погляд виглядало підозрілим, і я зрозумів, що це пов'язано з …

19 formal-languages  automata  regular-languages  finite-automata 

Я застряг у наступному питанні: "Регулярні мови - це саме ті, які приймаються кінцевими автоматами. Враховуючи цей факт, покажіть, що якщо мова LLL прийнята деяким кінцевим автоматом, то LRLRL^{R} також приймається деяким кінцевим; LRLRL^{R} складається з усіх слів LLL перевернутих".

19 formal-languages  regular-languages  automata  finite-automata 

Чи машина Тьюрінга без можливості запису на порожні комірки менш потужна, ніж у стандартних Тьюрінга? Я думаю, що відповідь - так, але я не в змозі знайти обчислення, які може зробити стандартна машина Тьюрінга, але ця машина не може. Будь-які ідеї?

18 formal-languages  turing-machines  computability  automata 

Чи може без контексту граматика включати "мертві стани" з автомата, такі як G = ( { a , b , c } , { A , B , C)} , { A → a B , B → b , B → C, С→ c С} , А )?Г=({а,б,c},{А,Б,С},{А→аБ,Б→б,Б→С,С→cС},А)?G = …

18 context-free  automata  formal-grammars 

Основне визначення машини Тьюрінга (ТМ), принаймні в моєму власному довідковому підручнику (Hopcroft + Ullman 1979), є детермінованим. Звідси моє власне розуміння проблеми зупинки стосується насамперед детермінованих ТМ, хоча я усвідомлюю, що це може розглядатися для інших типів автомати. Я також зауважив, що детермінізм часто більш-менш неявний в тому, як люди …

18 turing-machines  automata  nondeterminism  halting-problem  linear-bounded-automata 

Наприклад, коли ми розглядаємо DFA, який дозволяє рядкам, що не мають підрядів, 00або 11я можу створити наступні два DFA:

17 automata  finite-automata 

Я використовував FSM в цифрових схемах послідовних схем. Але я не знайомий з Кінцевими Автоматами. Чи може хтось допомогти мені в розумінні "основної" різниці між ними?

16 terminology  automata  finite-automata 

Я цікаво , якщо це взагалі можливо, так як {anbncn∣n≥0}∉CFL{anbncn∣n≥0}∉CFL\{a^n b^n c^n \mid n \geq 0\} \not\in \mathrm{CFL} . Тому PDA, який може відрізнити слово w∈{anbncn∣n≥0}w∈{anbncn∣n≥0}w\in\{a^n b^n c^n \mid n \geq 0\} від решти {a∗b∗c∗}{a∗b∗c∗}\{a^*b^*c^*\} може також прийняти його, що мені звучить суперечливо. Я думаю, мені потрібно скористатися недетермінованим характером …

16 formal-languages  automata  context-free  pushdown-automata 

Детермінований кінцевий автомат (DFA) - це модель машини машини, здатна приймати всі та лише звичайні мови. DFA можуть бути (і зазвичай є) визначені таким чином, що кожен стан повинен забезпечувати певний перехід для всіх елементів вхідного алфавіту; іншими словами, функція переходу повинна бути (загальною) функцією.δ:Q×Σ→Qδ:Q×Σ→Q\delta : Q \times \Sigma \rightarrow …

16 formal-languages  automata  finite-automata 

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

16 formal-languages  automata  closure-properties 

Лічильні машини з двома або більше лічильниками, як правило, показані еквівалентними машинам Тьюрінга в курсах з теорії обчислення. Однак я не бачив офіційного аналізу того, які мови можна розпізнати машиною з одноразовим коштом. Чи ці мови еквівалентні без контекстним мовам (можливо, за якоюсь розумною конструкцією, що стосується їх КПК), чи …

15 computability  automata 

Чи є невизначені властивості лінійно обмежених автоматів (уникаючи порожньої заданої мови хитрості)? А як щодо детермінованого кінцевого автомата? (відкладіть інтрактабельність). Я хотів би отримати приклад (якщо можливо) нерозв'язної проблеми, яка визначається без явного використання машин Тьюрінга . Чи потрібна цінність повноти моделі для підтримки непереборних проблем?

15 computability  automata  undecidability