Графы логических автоматов и их преобразования

Рассматривается новый язык для описания логических автоматов (т. е. автоматов с двоичными входами и выходами) язык графов переключений. Граф переключений – это граф автомата, в котором на каждом ребре указываются только выходы, меняющие свое значение на данном переходе. Исследуются эквивалентные преобразования таких графов, показано, что вершин в графе переключений может быть меньше, чем состояний в соответствующем автомате.