Лекция 3

Отсутствие автомата-множителя. Отсутствия автомата, который выписывает любое наперёд заданное вещественное число.

Варианты автоматов-преобразователей: машины Мили и машины Мура. Пример машины Мура для подсчёта остатков от деления на 3. Доказательство эквивалентности машин Мили и машин Мура.