Está en la página 1de 2

Actividad U1_01

I. Lectura
1.- ¿Qué es y que estudia la teoría de la computación? La teoría de la computación se
ocupa de determinar qué problemas pueden ser resueltos computacionalmente y con qué
eficiencia. La teoría considera distintos modelos de cómputo, como los autómatas finitos
las máquinas de Turing) y las computadoras cuánticas 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. La teoría de la computación permite modelar
procesos dentro de las limitaciones de dispositivos que procesan información y que
efectúan cálculos; como, por ejemplo, el ordenador. Para ello, se apoya en la teoría de
autómatas, a fin de simular y estandarizar dichos procesos, así como para formalizar los
problemas y darles solución.
2.- ¿Qué son las autómatas? Un autómata es un modelo matemático para una máquina
de estado finito, en el que dada una entrada de símbolos, «salta» mediante una serie de
estados de acuerdo a una función de transición (que puede ser expresada como una tabla).
Esta función de transición indica a qué estado cambiar dados el estado actual y el símbolo
leído.
Es una construcción lógica que recibe como entrada una cadena de símbolos y produce
una salida indicando si dicha cadena pertenece o no a un determinado lenguaje.
3.- ¿Para qué sirven las autómatas? Las autómatas son importantes ya que tienen como
objetivo primordial de determinar lo que puede hacer o no una computadora. Los autómatas
son esenciales para el estudio de los límites de la computación.
4.- ¿Qué es la Máquina de Turing? Son autómatas que modelan la potencia de las
computadoras reales. Nos permiten estudiar la decidibilidad, es decir, el problema de qué
puede o no puede hacer una computadora. También nos permiten distinguir los problemas
tratables (aquellos que pueden resolverse en un tiempo polinómico) de los problemas
intratables (los que no se pueden resolver en un tiempo polinómico).
5.- ¿Qué problemas No puede resolver una computadora?
6.- ¿Qué es decibilidad? Son aquellos problemas que puede resolver una computadora.
7.- ¿Qué es intratabilidad y problemas tratables?
Intratabilidad son aquellos problemas para los que no es factible obtener su solución,
permite deducir se va a ser posible abordar un problema y escribir un programa capaz de
resolverlo.
Los problemas tratables son aquellos que un computador puede resolver en un tiempo
proporcional a alguna función que crezca lentamente con el tamaño de la entrada.

II. Investigación
a. Los lenguajes naturales y 4 ejemplos de ellos
El lenguaje natural es el lenguaje 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, Se le conoce también como lenguaje
ordinario, y fue construido con reglas y convenciones lingüísticas y sociales.
Las lenguas naturales son inherentemente ambiguas en diferentes niveles:
 En el nivel léxico, una misma palabra puede tener varios significados
 A nivel referencial
 En el nivel estructural, se requiere de la semántica para desambiguar la
dependencia de los sintagmas preposicionales que conducen a la construcción de
distintos árboles sintácticos.
 En el nivel pragmático, una oración, a menudo, no significa lo que realmente se está
diciendo.
Ejemplos:
 Síntesis de voz
 Traducción automática
 Idiomas (español, inglés, italiano).
 Extracción de la información
b. Los lenguajes artificiales y escribir 5 ejemplos de ellos
Un lenguaje artificial, es aquel que es creado de manera consciente y sistemática mediante
un acuerdo arbitrario entre individuos para ser utilizado sólo con determinados fines. Su
propósito, es captar todos los matices y complejidades del objeto de estudio con total
precisión.
Ejemplos:
 Lenguajes de programación utilizados para desarrollar programas informáticos
usados para controlar el comportamiento de una máquina.
 Un semáforo es un signo que representa algo y que cada quien es consciente de
que si un semáforo esta en rojo se debe detener.
c. Los lenguajes formales
Es aquel en el que se han eliminado los términos del lenguaje ordinario y se emplean
únicamente símbolos arbitrarios, de cuyo significado se prescinde para dirigir la atención
exclusivamente sobre la relaciones entre dichos símbolos, expresado en fórmulas.