Formal
De Wikipedia, la enciclopedia libre
El término formal puede hacer referencia a:
- Método formal, en ingeniería de software, es un camino a la construcción y análisis de modelos matemáticos.
- Lenguaje formal, en matemáticas, lógica y ciencias de la computación, símbolos y reglas para unir esos símbolos.
- Gramática formal, en lógica matemática, ciencias de la computación y la lingüística teórica, un conjunto de reglas de formación que definen las cadenas de caracteres admisibles en un determinado lenguaje formal o lengua natural.
- Sistema formal, en lógica, matemáticas, informática, teoría de la información y estadística, formalización rigurosa y completa del concepto de sistema axiomático.
- Verificación formal, en lenguage lógico, método de validación estática.
- Cálculo formal.
Además
- Equivalencia dinámica y formal, técnicas de traducción.
- Informalismo, un movimiento pictórico.
- Economía informal.
- Teoría formal.
[editar] Enlaces externos
Wikcionario tiene definiciones para formal.Wikcionario
El Diccionario de la Real Academia Española tiene una definición sobre formal
El 
