Teoria d'autòmats i llenguatges formals