态的数目上的指数增长。幂集构造的形式证明在这里给出。对于有状态的可数无限集合的非确定有限自动机，幂集构造给出有状态的连续统的确定自动机因为可数无限集合的幂集是连续统：formula_12)。在这种情况下，为了使状态转移有意义，状态的集合必须被赋予一个拓扑。这种系统叫做拓扑自动机。
NFA-ε的性质.对于所有formula_13，写formula_14当且仅当从formula_15沿着零或更多个formula_16箭头前进可到达formula_17。换句话说，formula_14