Professional Documents
Culture Documents
∑: Alfabeto
C: Cadena:
L: Lenguaje
G: Gramática
λ: Cadena vacía
A: Autómata
G = {VT, VN, S, P}
A = {∑e, ∑s, Q, f, g}
4.- DEFINA F Y G
f = ∑ e xQ → Q
g = ∑ s xQ → S
Premisa mayor
Premisa menos
Conclusión
∀ : Cuantificador universal
∃ : Cuantificador