Dada la siguiente gramática

G1 = ({S,X,Y,Z} ; {a, b, c} ; P ; S) siendo P:

S -> abS v aX
X -> YZ
Y -> cY v c
Z-> ba

Si es posible obtenga el automata finito que reconozca el lenguaje dado. (Haga el diagrama de trancisciones)

Se me complica con la X ya que no tiene simbolo terminal entonces no se como hacer la flechita para que vaya al otro estado

El otro ejercicio de algebra de boole dice asi:

Es posible implementar la funcion booleana f(x,y,z) = \[\overline{x\overline{y}+z} + \overline{y + z}\] con una unica compuerta.


Gracias.

el de gramática quedaría por ejemplo.

S->aX->aYZ->acZ->acba

---

a el autómata yo le obtuve mediante el lenguaje osea si un lenguaje era abccccba ponía que hay 6 estados todos adyacentes pero en uno había un bucle lo hice a ojo y comprobando que me salga todos las palabras del lenguaje.

como es una gramatica tipo dos no hay automata finito q lo reconozca, aca te paso el automata de pila

el otro es verdadero, si operas llegas a complemento de z

Muchas gracias a ambos, el lenguaje si no me equivoco sería así no?

L = { \[(ab)^{\i}ac^{\j}ba; ac^{\j}ba \] }

tal que 1 ≤ i
1 ≤ j

no se q quisiste decir pero el lenguaje es

(ab)*acc*ba

q podria ponerse como

(ab)^n a c^m ba

con n >= 0
m >= 1