miércoles, 31 de agosto de 2011

El lenguaje formal.

En esta entrada explicaré lo que es el lenguaje formal y para lo que sirve.
El lenguaje formal es un conjunto de signos artificiales vacíos de contenido que se relacionan entre sí por una serie de normas y reglas,sometido exclusivamente a la coherencia interna del propio lenguaje.
Surge para salvar los problemas del lenguaje común.Busca la universalidad.
Ejemplos de lenguajes formales:
Un conjunto de todas las palabras sobre {a,b}.
El conjunto {an : n} es un número primo.
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.

Aquí dejo un video sobre el lenguaje. (Tipos y funciones)

No hay comentarios:

Publicar un comentario