no puedo distinguir bien los tipos de grmatica.
Solo se que:

1) Es correcto esto??
Si en gramatica tipo 1:
lado izquierdo pueden haber "Vn (no terminales)" y "Vt(terminales)" y que se tiene que cumplir

izq <= derecho

ejemplo

1X2 -->122Y1

2) como diferencio el tipo 2 y tipo 3??

3) estas afirmaciones son correctas?:
a)Solo si tengo un lenguaje tipo 3, puedo producir gramatica regular?
b)Solo con gramatica regular se puede hacer un automata finito?
c) Solo existe expresion regular si la gramatica era tipo?

1)Si

2) El tipo 3, del lado izquierdo tiene solo no terminales, y del lado derecho tiene:
-o un terminal
-o un noterminal/terminal
-o la palabra nula

El tipo 3 del lado izquierdo tiene solo no terminales y del lado derecho puede tener cualquier cosa

3)
a)un lenguaje de tipo 3 es un lenguaje regular, por ende su gramática es regular/tipo 3
b) Solo podes producir un automata finito cuando tenes una gramática de tipo 3
c)Para que haya expresion regular la gramatica tiene que ser regular

Gracias fede me aclaraste la 1 y 3.

No me queda claro la diferencia del tipo 2 del tipo 3

1) Solo se que en ambas, el lado izquierdo es Vn (no terminal)

Vn ---> Vn.Vt (es tipo 3?)

Vn ---> Vt.Vn (es tipo 2?)

2) Como me doy cuenta si es Regular solo leyendo el lenguaje???

Borro porque mandé mucha fruta.... tengo que repasar estas cosas

A -> aB
B -> Cb
C -> x

es tipo 3

los tipo 3 tienen un no terminal a la izquierda y a la derecha pueden tener

a
aB
Ba
aBa

Tenía entendido que las gramáticas solo pueden ser, o lineales por derecha, o lineales por izquierda, y no ambas a la vez.

segun las guias de piñeiro se puede

En el libro de peralta (lo tuve que buscar y removerle el polvo ) explica que para ser gramatica del tipo 3, tiene que tener dos elementos como maximo, o sea:

a
aB
Ba

En una de esas hay una discrepancia entre catedras... o peralta lo cambió en alguna nueva edicion (yo tengo la del 2007)
De lo otro (lo de a izquierda-derecha), al parecer me confundi .

q pagina?

EDIT

pag 365

odio cuando las bibliografias se contradicen

(09-12-2013 12:59)rihardmarius escribió:  segun las guias de piñeiro se puede

No las guia de piñeiro dicen que solo se puede tomar el parametro de uno de los 2, no ambas a la vez.

ahh tienen razon, perdon me confundi con las sensible al contexto

bueno posteo para q no queden dudas:

Regular

X -> Y donde

X e Vn

Y puede ser Vt, t o lambda
Y puede ser tV, t o lambda

LISTO CHICOS GRACIAS YA ME QUEDA CLARO EL TEMA. SE LOS AGRADEZCO