Пример 9.3

Построить диаграмму для конечного автомата, описанного в примере 9.1.

Если на начальном такте автомат находился в состоянии q₀ = 1 и на егo вход в последующие такты подавались символы abb, то, пользуясь диаграммой, можно проследить последовательность преобразований: 1а → 3b → 3с → 3с - выходные символы будут появляться в порядке bсс.

Класс алгоритмически (или машинно-) вычислимых частичных числовых функций совпадает с классом всех частично рекурсивных функций.

Общая идея моделирования

Способы описания формальных языков

Пример 7.7

Предисловие

Вернуться в оглавление: Теоретические основы информатики