Added automatons with trivial moves