Об условиях регулярности конечных автономных автоматов

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