Traductor Automatas-Expresiones Regulares Teoria de Lenguajes 2012-2013