Tarea 1

Teoría Computacional

¿Qué es la teoría computacional?

La teoría de la computación es una rama de la matemática y la computación que centra su interés

en las limitaciones y capacidades fundamentales de las computadoras. Específicamente esta teoría
busca modelos matemáticos que formalizan el concepto de hacer un cómputo (cuenta o cálculo) y
la clasificación de problemas.

¿Qué es un alfabeto y que símbolo se utiliza para designarlo?

un alfabeto es un conjunto finito y ordenado de símbolos a partir del cual se construyen palabras y
fórmulas bien formadas se designa con la mayúscula Σ.

¿Qué es una palabra o cadena de caracteres?

una palabra es una cadena finita de bits que son manejados como un conjunto por la máquina.

¿a que se llama longitud de una palabra?

El tamaño o longitud de una palabra hace referencia al número de bits contenidos en ella, y es un
aspecto muy importante al momento de diseñar una arquitectura de computadores.

¿Qué es la cadena y como se representa?

una cadena de caracteres, palabra, ristra de caracteres o frase (string en inglés) es una secuencia
ordenada de longitud arbitraria (aunque finita) de elementos que pertenecen a un cierto lenguaje
formal o alfabeto análogas a una fórmula o a una oración. En general, una cadena de caracteres es
una sucesión de caracteres (letras, números u otros signos o símbolos) en teoría de autómatas es
común denotar a la misma por medio de la letra griega epsilon.

¿Cardinalidad de una palabra?

La última palabra-número que mencionamos al realizar un conteo es la que le da valor al conjunto.

Potenciar un alfabeto

¿cómo se llama a un alfabeto de un único símbolo?

{A}

Operaciones con Cadenas

¿Que es un lenguaje, como se le designa?

Un lenguaje es un conjunto de palabras formadas a partir de un alfabeto.

subpalabra subcadena o factor

Una palabra es unasubpalabra de otra palabra, cuando sus símbolos aparecen entre los símbolos
de la segunda, en forma consecutiva y en el mismo orden; es decir cuando un trozo contiguo de la
segunda es iguala la primera.

prefijo subfijo

Cuando la subpalabra es tal que sus sımbolos aparecen al comienzo de la otra palabra, se le llama
un prefijo de esta ultima.

operaciones entre lenguajes

¿Que es un compilador?

Un compilador es un programa informático que traduce un programa escrito en un lenguaje de

programación a otro lenguaje de programación, generando un programa equivalente que la
máquina será capaz de interpretar.

tipos de compilador

Compiladores cruzados: generan código para un sistema distinto del que están funcionando.

Compiladores optimizadores: realizan cambios en el código para mejorar su eficiencia, pero

manteniendo la funcionalidad del programa original.

Compiladores de una sola pasada: generan el código máquina a partir de una única lectura del
código fuente.

Compiladores de varias pasadas: necesitan leer el código fuente varias veces antes de poder
producir el código máquina.
Compiladores JIT (Just In Time): forman parte de un intérprete y compilan partes del código según
se necesitan.

jerarquia de Chomsky

En lingüística la jerarquía de Chomsky es una clasificación jerárquica de distintos tipos de

gramáticas formales que generan lenguajes formales.