13 de marzo 2016

Autmatas y Lenguajes Formales 2016-2

Tarea 6, parte 2: Gramticas
Fecha de entrega: 17 de marzo

1. De las siguientes grmaticas especifica su tipo (el mas restrictivo posible) y justifica
tu eleccin. Da tres cadenas que sean generadas por cada gramtica y muestra el
rbol de derivacin para cada una de ellas, en caso de que la gramtica lo permita.
En caso contrario basta la derivacin. Alguna es ambigua? Justifica tu respuesta.

2.

Sean L1 = (a+b)*a(a+b)2,
L2 = {w {a,b}* | cada a en w est seguida inmediatamente por una b} y
L3 = {w {a,b}* | w no tiene una subcadena aab}.

Muestra los autmatas que reconozcan cada uno de los lenguajes anteriores y obtn a
partir de ellos las gramticas tipo 3.

Muestra el autmata y la gramtica tipo 3 correspondientes a:

Justifica cada modificacin en las gramticas (quitar , agregar nuevo smbolo
inicial...)
.

a) (2 puntos) L1L2.

b) (2 puntos) L1 L2 ( = concatenacin).

c) (2 puntos) L2 L3 ( = concatenacin).