av Kevyn Bryan Martinez Perez för 3 årar sedan
167
Mer av detta
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.
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
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.