Следующий набросок программы:q = q0;c = GetChar();while (c != eof) { q = move (q, c); c = GetChar();}if (q is in F) return "yes";else return "no";
демонстрирует (предполагается, что входная лента заканчивается символом end_of_file):
(Отметьте один правильный вариант ответа.)
Варианты ответа
моделирование бесконечного автомата
моделирование конечного автомата(Верный ответ)
моделирование машины Тьюринга
моделирование магазинного автомата