Por ejemplo, todas las lenguas regulares pueden ser reconocidas por un autómata finito.