flujograma

El lenguaje formal es aquel que el hombre ha desarrollado para expresar las situaciones que se dan en específico en cada área del conocimiento científico. Las palabras y oraciones de un lenguajeformal son perfectamente definidas (una palabra mantiene su el mismo significado prescindiendo de su contexto o uso). Los lenguajes formales son exentos de cualquier componente semántico fuera de susoperadores y relaciones. Los lenguajes formales pueden ser utilizados para modelar una teoría de la mecánica, física, matemática, ingeniería eléctrica, o de otra naturaleza, con la ventaja de que enestos toda ambigüedad es eliminada.
En resumen las características de los lenguajes formales son las siguientes:
Se desarrollan de una teoría preestablecida.
Componente semántico mínimo.
Posibilidadde incrementar el componente semántico de acuerdo con la teoría a formalizar.
La sintaxis produce oraciones no ambiguas.
La importancia del rol de los números.
Completa formalización y por esto, elpotencial de la construcción computacional

Lenguaje Formal
En matemáticas, lógica, y las ciencias computacionales, un lenguaje formal es un conjunto de palabras (cadenas de caracteres) de longitudfinita formadas a partir de un alfabeto (conjunto de caracteres) finito.
Un posible alfabeto sería, digamos, {a, b}, y una cadena cualquiera sobre este alfabeto sería, por ejemplo, ababba. Unlenguaje sobre este alfabeto, que incluyera esta cadena, sería: el conjunto de todas las cadenas que contienen el mismo número de símbolos a que b, por ejemplo.
La palabra vacía (esto es, la cadena delongitud cero) es permitida y frecuentemente denotada mediante ε o λ. Mientras que el alfabeto es un conjunto finito y cada palabra tiene una longitud también finita, un lenguaje puede bien incluir unnúmero infinito de palabras.






Características del razonamiento humano
A veces se define el razonamiento como la capacidad de partir de ciertas proposiciones o ideas previamente conocidas...