Los lenguajes de programación son un conjunto finito o infinito de sentencias. Los lenguajes de programación con un número finito de sentencias se pueden especificar exhaustivamente enumerando todas sus sentencias. Sin embargo, para los lenguajes con un número de sentencias infinito esto no es posible, pues los medios que tenemos para describirlo son finitos.
El medio habitual para describir un lenguaje es su gramática, pero las gramáticas que se utilizan en los lenguajes de programación necesitan una modelización metamatemática que haga factible su implementación en los compiladores.
En los años 50 Noam Chomsky (1928) realizó grandes avances en la concepción de un modelo matemático de las gramáticas en conexión con los lenguajes naturales.
Etrada por: Ana Laura Ortiz Quiroga
No hay comentarios:
Publicar un comentario