Teoría de lenguajes y compiladores

Meer zoals dit

DIFERENCIAS COSO I, II, III Y IV

door Thalia Jara

satisfaccion de necesidades basicas-tecnologia

door katherin eraso

Modelo integrador

door Tabata Osuna

Diseño Curricular de Nivel Inicial

door Meli Delettieres

Teoría de lenguajes y compiladores

Traducción automática de lenguajes

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).

Gödel

Teorema de Gödel

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

Números calculables

Alan Turing

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.

Uno de los padres de la computacion

Maquina de Turing

Problemas irresolubles

Son aquellos problemas que no puede ser resuelto o solucionado

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

Algoritmo

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

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

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.

Lenguajes y gramáticas

Noam Chomsky

Teoría de las gramáticas transformacionales

Isomorfismo

Maquinas tipo cero

Gramática tipo 3

Regular

Gramática tipo 2

Libre de contexto

Gramática tipo 1

Sensible al contexto

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.

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.

Análisis de gramáticas

Es el estudio de una completa gramá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.

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.

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.

Teoria de las maquinas secuenciales

Sistemas para transmitir informacion

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.

Teoría matemática de la comunicación

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.

Teoría de autómatas

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.