1. Qu es un algoritmo?

Es un conjunto de instrucciones bien definidas que deben ser ejecutadas

en el orden que se especifica en el propio algoritmo.
2. Cules son las caractersticas de un algoritmo?
Finito
Preciso
Bajo las mismas condiciones deben devolver el mismo resultado
3. Qu es un autmata?
Un autmata es una mquina que puede cambiar de un estado a otro
de forma autnoma- por medio de una funcin de transicin que opera
los valores de entrada que se registren.
4. Explica por qu un termostato puede ser considerado un autmata.
Porque es una maquina diseada para cambiar de un estado a otro de
manera autnoma en funcin de la temperatura que sera su valor de
entrada.
5. Qu es un diagrama de estado?
Un diagrama de estado es una herramienta grafica que sirve para
describir el comportamiento de una mquina de estados finitos
(autmata). En sta se pueden visualizar los estados como crculos que
en su interior registran su significado, y flechas que representan la
transicin entre estados y la notacin de entrada/salida, que provoca el
cambio entre estados.
6. Qu es una tabla de estado?
Es otra herramienta grafica que sirve para describir el comportamiento
de un autmata. En esta se registran el estado actual, los valores de
entrada, el estado resultante y la salida.
7. En el campo de los autmatas, qu es un alfabeto?
Un alfabeto est formado por todos los caracteres que utiliza un
autmata para definir sus entradas, salidas y estados.
8. Qu es una cadena vaca?
Es una cadena de caracteres de longitud cero.
9. Cul es la definicin de lenguaje?
Un lenguaje es un conjunto de cadenas que obedecen a un alfabeto
fijado. Y, entendido como un conjunto de entradas, puede o no ser
resuelto por un algoritmo.
10.Qu es y para qu sirve una gramtica?

Una gramtica formal es una estructura matemtica con un conjunto de

reglas de formacin que definen las cadenas de caracteres admisibles en
un determinado lenguaje formal o lengua natural.
11.Da un ejemplo de una regla de produccin BNF.
BNF para una direccin postal de los EE.UU.
<direccin postal> ::= <nombre> <direccin> <apartado postal>
<personal> ::= <primer nombre> | <inicial> "."
<nombre> ::= <personal> <apellido> [<trato>] <EOL>
| <personal> <nombre>
<direccin> ::= [<dpto>] <nmero de la casa> <nombre de la calle> <EOL>
<apartado postal> ::= <ciudad> "," <cdigo estado> <cdigo postal> <EOL>

Esto se traduce a espaol como:

Una direccin postal consiste en un nombre, seguido por una direccin,

seguida por un apartado postal.
Una parte "personal" consiste en un nombre o una inicial seguido(a) por
un punto.
Un nombre consiste de: una parte personal seguida por un apellido
seguido opcionalmente por una jerarqua o el trato que se la da a la
persona (Jr., Sr., o nmero dinstico) y un salto de lnea (end-of-line), o
bien una parte personal seguida por un nombre (esta regla ilustra el uso
de la repeticin en BNFs, cubriendo el caso de la gente que utiliza
mltiples nombres y los nombres medios o las iniciales).
Una direccin consiste de una especificacin opcional del departamento,
seguido de un nmero de casa, seguido por el nombre de la calle,
seguido por un salto de lnea (end-of-line).
Un apartado postal consiste de una ciudad, seguida por una coma,
seguida por un cdigo del estado (recuerde que es un ejemplo que
ocurre en EE.UU.), seguido por un cdigo postal y este seguido por un
salto de lnea (end-of-line).

12.Qu elementos constituyen un lenguaje formal?

Alfabeto
Vocabulario
Gramtica

13.Describe brevemente tres tipos de gramticas.

Gramtica sensible al contexto:

En este tipo de gramticas, el lado derecho de la regla de produccin
siempre debe ser igual o mayor que el lado izquierdo.
Gramtica independiente del contexto:
Cumplen con las propiedades de la gramtica sensible al contexto, y se
distinguen porque el lado izquierdo de la regla de produccin slo debe
tener un elemento, y ste no puede ser terminal.
Gramtica regular:
Cumplen con las caractersticas de la gramtica independiente del
contexto y, adems, se restringen a travs de las reglas de produccin
para generar slo reglas de los dos tipos anteriores.
14.Qu es una mquina de Turing?
La mquina de TURING es una de las principales abstracciones utilizadas
en la teora moderna de la computacin, ya que auxilia en la definicin
de lo que una computadora puede o no puede hacer.
15.Qu es un proceso computable?
Puede implementarse en un algoritmo o mquina de Turing; definirse en
un lenguaje decidible; e implementarse como el programa de la mquina
de Turing.