标签： state-machine deterministic finite-state-automaton
背景： 我们有一种语言L = {0,1}，并且FSM的状态数是给定的。 有一个开始状态，但是为简单起见，所有状态都可以是最终状态。 FSM是确定性的。 FSM可以包含循环：从状态A到状态A的过渡。
是否有一种算法可以生成状态数为n的所有可能的有限状态机？