sistema formal

Un sistema formal o un sistema axiomático es un artificio matemático compuesto de símbolos que se unen entre sí formando cadenas que a su vez pueden ser manipuladas según reglas para producir otras cadenas. De esta manera, el sistema formal es capaz de representar cierto aspecto de la realidad.En las ciencias formales de la lógica y las matemáticas, así como en otras disciplinas relacionadas, como son la informática, la teoría de la información, y la estadística, un ‘’sistema formal’’ es una gramática formal usada para la modelización de diferentes propósitos. Llamamos ‘’formalización’’ al acto de crear un sistema formal, y se trata de una acción con la que pretendemos capturar y abstraer la esencia de determinadas características del mundo real, en un modelo conceptual expresado en un determinado lenguaje formal
Ver más en Wikipedia.org...