ВВЕДЕНИЕ. В курсе «Теория конечных автоматов» рассматриваются теоретические основы построения цифровых автоматов как преобразователей двоичных цифровых сигналов

В курсе «Теория конечных автоматов» рассматриваются теоретические основы построения цифровых автоматов как преобразователей двоичных цифровых сигналов. Все системы обработки цифровой информации (в том числе и цифровые вычислительные машины - ЭВМ) могут в общем виде представлены как кодопреобразователи (рис. 1) .

Особенностью цифрового автомата является зависимость оператора преобразования А от предыдущих состояний кодопреобразователя, то есть наличие памяти у цифрового автомата. В частном случае отсутствия памяти у цифрового автомата, он является логической схемой. Таким образом, предметами исследования в теории цифровых автоматов являются как собственно цифровые автоматы (системы с памятью), так и автоматы без памяти или логические схемы.

Наиболее разработана теория цифровых автоматов применительно к канонической структуре цифрового автомата, представленной на рис.2. Для дальнейшего рассмотрения используется только эта структура цифрового автомата.

По структурной схеме цифрового автомата видно, что входные коды входной и выходной комбинационных схем получаются в результате конкатенации (объединения) входного кода и кода состояния памяти цифрового автомата.