# data[].attributes.body
En matemáticas se da el nombre de recursión a la técnica consistente en definir una función en términos de sí misma. Puesto que en C una función puede llamar a otras funciones, se permite que una función también pueda llamarse a sí misma.

# data[].attributes.body
En matemáticas, la inducción es un razonamiento que permite demostrar proposiciones que dependen de una variable que toma una infinidad de valores enteros.

# data[].attributes.body
En matemática, Relación es la correspondencia de un primer conjunto, llamado Dominio , con un segundo conjunto, llamado Recorrido o Rango , de manera que a cada elemento del Dominio le corresponde uno o más elementos del Recorrido o Rango.

# data[].attributes.body
Una función es una relación en la cual una variable especifica un valor determinado de otra variable. Por ejemplo, cuando avientas la pelota, cada segundo que pasa tiene una y sólo una altura correspondiente.

# data[].attributes.body
La teoría de conjuntos es una rama de las matemáticas que estudia las propiedades y relaciones de los conjuntos: colecciones abstractas de objetos, consideradas como objetos en sí mismas. Los conjuntos y sus operaciones más elementales son una herramienta básica en la formulación de cualquier teoría matemática.

# data[].attributes.body
La lógica simbólica es el acto de la creación de un "lenguaje" artificial que hace uso de símbolos convencionales que representan estructuras para hacer frente a los complejos argumentos lógicos. Su propósito es ahorrar tiempo en la argumentación y ayudar a prevenir la confusión, imprecisión y la ambigüedad de la palabra. Se utiliza en lingüística, filosofía, informática y sobre todo, en matemática.

# data[].attributes.body
Creó el campo de los autómatas celulares sin computadores, construyendo los primeros ejemplos de autómatas autorreplicables con lápiz y papel.

# data[].attributes.body
Una máquina de Turing es un dispositivo que manipula símbolos sobre una tira de cinta de acuerdo a una tabla de reglas. A pesar de su simplicidad, una máquina de Turing puede ser adaptada para simular la lógica de cualquier algoritmo de computador y es particularmente útil en la explicación de las funciones de una CPU dentro de un computador.

# data[].attributes.headline
Relacion Teoria de Automatas y Lenguajes Formales

# data[].attributes.subject
Relacion Teoria de Automatas y Lenguajes Formales

# data[].attributes.body
La teoría de autómatas está estrechamente relacionada con la teoría del lenguaje formal ya que los autómatas son clasificados a menudo por la clase de lenguajes formales que son capaces de reconocer.

# data[].attributes.body
En matemáticas, lógica y ciencias de la computación, un lenguaje formal es un lenguaje cuyos símbolos primitivos y reglas para unir esos símbolos están formalmente especificados.

# data[].attributes.body
La teoría de autómatas es una rama de las ciencias de la computacion que estudia las máquinas abstractas y los problemas que éstas son capaces de resolver. La teoría de autómatas está estrechamente relacionada con la teoría del lenguaje formal ya que los autómatas son clasificados a menudo por la clase de lenguajes formales que son capaces de reconoce

# data[].attributes.body
Algunas de las áreas de estudio de la lingüística computacional son:

Corpus lingüístico asistido por ordenador.

•         Diseño de analizadores sintácticos (en inglés: parser), para lenguajes naturales.

•         Diseño de etiquetadores o lematizadores, tales como el POS-tagger.

•         Definición de lógicas especializadas que sirvan como fuente para el Procesamiento de Lenguajes Naturales.

•         Estudio de la posible relación entre lenguajes formales y naturales.

•         Traducción automática.

# data[].attributes.body
La Lingüística Computacional (Computational Linguistics) puede considerarse una disciplina de la linguística aplicada y la Intelingencia Artificial, y tiene como objetivo la realización de aplicaciones informáticas que imiten la capacidad humana de hablar y entender. A la Lingüística Computacional se le llama a veces Procesamiento del Lenguaje Natural (PLN), o Natural Language Processing (NLP)

# data[].attributes.body
Es un sistema de comunicacion estructurado para el que existe un contexto de uso y ciertos principios combinatorios formales. Existen contextos tanto naturales como artificiales.

# data[].attributes.body
Es un sistema secuencial, aunque en ocasiones la palabra es utilizada también para referirse a un robot. Puede definirse como un equipo electrónico programable en lenguaje no informático y diseñado para controlar, en tiempo real y en ambiente industrial, procesos secuenciales. Sin embargo, la rápida evolución de los autómatas hace que esta definición no esté cerrada.