FA with moves mentioned - silent transitions on no input. These FAs are provably equivalent to NFAs.