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

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

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

Я читав у Вікіпедії та деякі інші тексти, які Проблема зупинки вирішується [...] для лінійно обмежених автоматів (LBA) [та] детермінованих машин з обмеженою пам'яттю. Але раніше було написано, що проблема зупинки - це не визначена проблема, і тому TM не може її вирішити! Оскільки LBA визначені як тип ТМ, чи …

13 turing-machines  automata  undecidability  halting-problem  linear-bounded-automata 

У мене було враження, що наші комп'ютери, будучи скінченними, в кінцевому рахунку не більш потужні, ніж (надзвичайно великі) Кінцеві державні машини. Однак машини з обмеженим лінійним обмеженням також є кінцевими, але, схоже, звичайні мови є строго неправильним підмножиною контекстно-чутливих мов. Очевидно, мені щось тут не вистачає. Що відбувається?

11 finite-automata  computation-models  linear-bounded-automata