Documentos de Académico
Documentos de Profesional
Documentos de Cultura
1. Generalidades
2. Laboratorios.
3. Unidad 1
Generalidades
1. Explicación teórica.
2. Ejemplo.
3. Ejercicios
Las tareas que tendréis que realizar con JFLAP serán las siguientes:
1. Encontrar la expresión regular y una gramática para el lenguaje
reconocido por el autómata.
2. Hacer una lista de cinco palabras que sean aceptadas por el
autómata y otras cinco que sean rechazadas por el autómata.
3. Describir informalmente el lenguaje.
TEORÍA DE AUTÓMATAS Y LENGUAJES FORMALES 6
FORO: 16 NOVIEMBRE.
► Criterios de evaluación
• Se evaluará la claridad de las explicaciones.
• Extensión máxima: 6 páginas (1 página de portada, 1 página de índice,
2 páginas para explicar cada ejercicio, como máximo) fuente Georgia 11
e interlineado 1,5.
En este curso se van a estudiar máquinas más sencillas que las de Turing, esto es, que
máquinas con la misma capacidad que los computadores actuales.
Para seguir el desarrollo de una demostración deductiva (es decir, cómo se llega a
probar la tesis mediante una serie de pasos lógicos) es importante comprender las
relaciones de implicación. En la proposición:
𝐴 ⇒𝐵
Así, el enunciado ∀ 𝑥≠0 ∃ 𝑦 tal que 𝑥*𝑦=1 dice que para todo número distinto de cero,
x, existe su inverso, y.
Hay que tener en cuenta que la negación del cuantificador ∀ es ∃ (y no “para ningún”)
y al revés. Así, si queremos negar la proposición anterior escribiríamos:
Cuando sea necesario demostrar que dos conjuntos definidos de maneras distintas
(por ejemplo 𝑅𝑅 y 𝑆𝑆) son, en realidad, el mismo, se suele dividir la prueba en dos
partes
𝑅 ⊆𝑆
𝑆 ⊆𝑅
Nótese que es la misma forma de proceder que cuando se quiere demostrar una doble
implicación.
Para demostrar que 𝑅 ⊆𝑆 hay que probar que todo elemento de 𝑅 también pertenece
𝑆.
2. Tiene una regla para poder construir un elemento a partir del anterior, es decir, hay
una regla que permite saber cómo será el sucesor de cada elemento del conjunto.
► La demostración por inducción utiliza esta forma de definir los elementos del
conjunto para construir las demostraciones sobre ellos. Así, en la demostración por
inducción de una proposición P, siempre se tiene que comprobar que:
1. El enunciado se cumple para el primer elemento del conjunto (caso base), P(1).
2. Si el enunciado es cierto para algún elemento del conjunto, es decir, si P(n) es cierta,
entonces también lo es para su sucesor, es decir, P(n+1) es cierta.
2. ¿Se cumple para el 2? Sí, porque sabemos que si se cumple para un elemento del
conjunto, también se verifica para su sucesor.
4. …
Por tanto, la demostración por inducción demuestra que una propiedad P se cumple de
forma recursiva, que es la manera en que está definido el conjunto sobre el que se hace
la demostración. En otras palabras, recorre el mismo camino que ha habido que construir
para definir todos los elementos del conjunto.