Лекция 4

Завершение доказательства эквивалентности машин Мили и машин Мура. Примеры применения конструкций из доказательства.

Конечные автоматы-распознаватели (КАР). Язык ДКАР. Примеры. Недетерминированный КАР и его язык. Семантика НКАР, ветвления в работе. Пример.