Existen varias propuestas de lenguajes formales, pero no todas lo son .