Los lenguajes formales son un grupo de símbolos o caracteres que al unirlos en cadenas siguiendo las reglas sintácticas correspondientes podemos formar palabras y en los lenguajes no naturales como lenguajes de programación estas palabras serán comandos o instrucciones.
La semántica existe en los lenguajes formales que no es más que la interpretación de los símbolos y darles un significado a estos.
Algunos ejemplos de lenguajes formales:
• Un conjunto de todas las palabras sobre {a,b}.
• La Numeración de Gödel {an :a es un número primo y n un número de Gödel}.
• El conjunto de todos los programas sintácticamente válidos en un determinado lenguaje de programación.
• El conjunto de todas las fórmulas bien formadas en la lógica de primer orden
En este mapa conceptual veremos todos estos conceptos de una manera másgráfica.
Enlace
de Interés: http://youtu.be/IDZkd2571gU
No hay comentarios:
Publicar un comentario