Algunos de estos autómatas son: