2. Способы задания ца. Задание цифровых автоматов на начальных языках: язык граф схем алгоритмов (гса) и язык логических схем алгоритмов (лса).

Рассмотрим начальные языки, наиболее часто используемые для описания функционирования ЦА: язык граф схем алгоритмов (ГСА) и язык логических схем алгоритмов (ЛСА).

Пример ГСА:	Язык ГСА является простейшим и самым распространённым языком, применяемым для описания функционирования управляющих микропрограммных устройств. При разработке алгоритма работы ОУ вначале записывается содержательная ГСА (СГСА), в которой внутри операторных и условных вершин записывается содержательное обозначение микроопераций и логических условий. Например, При кодировании СГСА внутри операторных вершин записываются символы из множества выходных сигналов Y = {y1, y2,..., yN}, а внутри условных вершин символы из множества входных сигналов X = {x1, x2,..., xL}.
При соединении выхода условной вершины с её входом в цепь обратной связи вводится пустая операторная вершина, отмеченная пустым выходным сигналом ye. Пустые операторные вершины ставят на выходе условной вершины в начале цикла.

Язык ЛСА является аналитической интерпретацией языка ГСА и может быть использован для более компактной формы записи алгоритма функционирования ЦА. Язык ЛСА был впервые предложен А.А. Ляпуновым в 1953 г. для записи микропрограмм. В дальнейшем он стал широко использоваться в качестве начального языка задания алгоритмов функционирования управляющих устройств.

Запись алгоритма на языке ЛСА представляет собой конечную строку, состоящую из символов операторов A = {A₀, A₁,..., A_k}, логических условий X = {x₁,..., x_L} и верхних и нижних стрелок, которым приписаны натуральные числа (). При этом последовательность выполнения операторов будет определяться порядком их записи. Порядок выполнения операторов может быть строго фиксированным или зависеть от некоторых логических условий. В последнем случае применяют логическую переменнуюсо стоящим справа от нее началом стрелкис индексомi = 1, 2, … Конец стрелки с этим же индексом стоит слева от того оператора ЛСА, который должен выполняться, если логическая переменнаяx_m принимает нулевое значение.

Например, означает, что после выполнения оператораA₁ в зависимости от значения логического условия x_m может быть выполнен оператор A₂, стоящий непосредственно за , еслиx_m = 1 или оператор A_n справа от стрелки , если x_m = 0.

В некоторых случаях используются логические условия, которые всегда принимают нулевое значение, т.е. тождественно ложные логические условия w (оператор w). После оператора w всегда производится переход по стрелке, которая стоит справа от него.

Пример ЛСА эквивалентной ГСА, рассмотренной выше:

3. Задание ЦА на стандартных языках: таблицы, графы и их аналитическая интерпретация – системы канонических уравнений (СКУ) и системы выходных функций (СВФ). Условия однозначности и полной определенности.

Стандартные или автоматные языки задают функции переходов выходов в явном виде. К ним относятся таблицы, графы, матрицы переходов и выходов и их аналитическая интерпретация СКУ и СВФ. Для того, чтобы задать автомат, необходимо описать все компоненты вектора S = <A, Z, W, , , a₁>.