Proyecto de lenguajes formales y autómatas, al cual se le ingresa un autómata y reconoce una cadena