Pada dasarnya mesin Turing bukanlah satu-satunya model komputer yang dapat kita gunakan untuk mendefinisikan komputasi. Ada beberapa model komputer lain yang dapat digunakan antara lain, mesin Moore, mesin Mealy, Finite state recognizer (FSR), Pushdown automaton (PDA),dan sebagainya, yang seluruhnya tergabung dalam Finite State Machines