Фон :
У нас есть язык L = {0,1} и определенное количество состояний для автоматов.
Существует начальное состояние, однако для простоты все состояния могут быть конечными.
ФШМ являются детерминированными.
Автоматы могут содержать петли: переход из состояния A в состояние A.
Существует ли алгоритм генерации всех возможных конечных автоматов с числом n состояний?