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