Ejercicio 2 Teoria TALF

p1: Dados dos lenguajes y sobre el alfabeto . Anotamos con la unión, con la intersección, el complemento y con la diferencia.

Verifica o contradice:

• 
  • Cierto: supongamos que  es un lenguaje que genera palabras de la forma  comprenderá todas las palabras sobre el alfabeto excepto las que cumplan la forma  si a  le sacamos el sublenguaje generado por  obtendremos el mismo resultado.
• 
  • cierto:supongamos que es un lenguaje que genera palabras de la forma  y que  genera el lenguaje  por lo tanto generaran un lenguaje de la forma   por lo tanto  serán todas las combinaciones del lenguaje  excepto las que cumplan con el patrón .
    serán todas las palabras del lenguaje  excepto las que cumplan la forma .
    serán todas las palabras del lenguaje excepto las que cumplan la forma .
    por lo tanto la intersección de ambos lenguaje serán todas las palabras de   excepto las que cumplan el patrón .
• 
  • cierto: La intersección de  y   serán las palabras comunes entre los dos sublenguajes y su complemento sera  para la segunda parte de la ecuación
• 
  • Falso con  generaríamos palabras de la forma  y con  generaríamos palabras de la forma  .

p2: Construye un autómata finito determinista que “acepta” el lenguaje L que contiene todas las palabras (finitas) sobre el alfabeto {0, 1} con un número par de 0s y un número impar de 1s.

El modelo del autómata en JFlap lo podéis descargar en este enlace: autómata practica 2

Edit: Corregido el autómata que tenia mal un enlace, un 0 en lugar de un 1. Muchas gracias a Ymourino