String Matching. Autómata Finito Un autómata finito M es una 5-tuple (Q, q0, A, , δ), donde –Q es un conjunto finito de estados –q0 ε Q es el estado.
