Teoría de lenguajes y compiladores

Es una rama de la teoría de la computación que estudia las máquinas abstractas y los problemas que éstas son capaces de resolver.

Es un conjunto de conocimientos racionales y sistematizados que se centran en el estudio de la abstracción de los procesos, con el fin de reproducirlos con ayuda de sistemas formales; es decir, a través de símbolos y reglas lógicas.

Describe como las máquinas, son en esencia máquinas traductoras, ya que dada una palabra en la entrada generan otra palabra en la salida.

Sistemas para transmitir informacion

Noam Chomsky

Teoría de las gramáticas transformacionales

Lingüística matemática

Es la aplicación de técnicas estadísticas, probabilísticas o esquemas matemáticos abstractos a la comprensión de los fenómenos lingüísticos.

Lenguajes naturales

Es la lengua o idioma hablado o escrito por humanos para propósitos generales de comunicación. Son aquellas lenguas que han sido generadas espontáneamente en un grupo de hablantes con propósito de comunicarse, a diferencia de otras lenguas, como puedan ser una lengua construida, los lenguajes de programación o los lenguajes formales usados en el estudio de la lógica formal, especialmente la lógica matemática.

Lenguajes computador

Es un lenguaje formal (o artificial, es decir, un lenguaje con reglas gramaticales bien definidas) que le proporciona a una persona, en este caso el programador, la capacidad de escribir (o programar) una serie de instrucciones o secuencias de órdenes en forma de algoritmos con el fin de controlar el comportamiento físico o lógico de un sistema informático, de manera que se puedan obtener diversas clases de datos o ejecutar determinadas tareas.

Análisis de gramáticas

Es el estudio de una completa gramática

Análisis semántico

Es el proceso de relacionar estructuras sintácticas, desde los niveles de frases, cláusulas, oraciones y párrafos hasta el nivel de la escritura en su conjunto, hasta sus significados independientes del lenguaje.

Morfología

Parte de la lingüística que estudia las reglas que rigen la flexión, la composición y la derivación de las palabras.

Isomorfismo

Gramática tipo 1

Sensible al contexto

Gramática tipo 2

Libre de contexto

Gramática tipo 3

Regular

Maquinas tipo cero

Informático teórico

Es una persona con conocimientos adquiridos en ciencias de la computación, especializado en el estudio de los fundamentos teóricos de la información y la computación, para su posterior aplicación en el desarrollo y diseño de sistemas de información.

Alan Turing

Maquina de Turing

Es un dispositivo que manipula símbolos sobre una tira de cinta de acuerdo con una tabla de reglas

Algoritmo

Conjunto ordenado de operaciones sistemáticas que permite hacer un cálculo y hallar la solución de un tipo de problemas.

Entidad matemática abstracta

Es aquella entidad que resulta difícil de entender por tener el carácter esquemático y poco concreto propio de lo que se obtiene por abstracción

Problemas irresolubles

Son aquellos problemas que no puede ser resuelto o solucionado

Uno de los padres de la computacion

Teorema de Turing

Establece que todas las funciones computables son recursivas. Bajo este supuesto, todas las funciones computables son definibles en el lenguaje de la aritmética formal, o bien, indistintamente, mediante los algoritmos de las máquinas de Turing.

Teorema de Gödel

Toda formulación axiomática consistente de la teoria de números contiene proposiciones indecidibles.

Es traducción automatizada. Es el proceso mediante el cual se utiliza software de computadora para traducir un texto de un lenguaje natural (como el inglés) a otro (como el español).