Un autómata finito es un modelo matemático de una máquina que acepta cadenas de un lenguaje definido sobre un alfabeto
Un autómata finito determinístico es un quíntuple \( Q,\sum,\delta,q_0,F\) donde: