Абстрактные цифровые автоматы
Абстрактный цифровой автомат называется инициальным, если на множестве его состояний А выделяется начальное состояние ао. 1.3 Способы задания абстрактных автоматов . Чтобы задать конечный автомат S, необходимо описать все элементы множества