Toda expresión regular tiene algún autómata finito asociado.