15
Эта машина Foo останавливается?
Как известно, определение того, останавливается ли машина Тьюринга, неразрешимо, но это не обязательно верно для более простых машин. Foo машина представляет собой машину с конечной лентой, где каждая ячейка на ленте имеет целое число или символ HALT h, например , 2 h 1 -1 Указатель инструкции начинается с указания на …