ПТЦА - Прикладная теория цифровых автоматов
Абстрактный автомат называется конечным , если конечны множества А = {a1, a2, ..., am}, Z = {z1, z2, ..., zf}, W = {w1, w2, ..., wg}.
Абстрактный синтез микропрограммного автомата по ГСА осуществляется в два этапа: 1. Получение отмеченной ГСА.