https://www.u-cursos.cl/ingenieria/2009/2/CC51N/1/material_docente/o/258962
MSO vs Automatas I.pdf