Cтраница 2
В этом случае в качестве состояний операционного автомата обычно используются совокупности значений переменных, которые меняются в процессе работы программы в алгоритмическом языке. Функции переходов и выходов операционного автомата определяются семантикой выражений и операторов языка, а сам дискретный преобразователь строится таким образом, что его состояния соответствуют различным вхождениям операторов языка в программу. Построение функций переходов и выходов дискретного преобразователя выполняется аналогично тому, как это делается для граф-схем алгоритмов. [16]