I programmi per computer spesso hanno necessità di elaborare sequenze di simboli come lettere o
parole in un documento, o anche il testo di un altro programma. Gli scienziati informatici spesso usano
un automa a stati finiti per questi compiti. Un automa a stati finiti (Finite State Automata o FSA in
inglese) segue un insieme di istruzioni per vedere se il computer deve riconoscere la parola o la
sequenza di simboli. Noi lavoreremo con qualcosa di equivalente a un automa a stati finiti: la mappa di
un tesoro!