Documentos de Académico
Documentos de Profesional
Documentos de Cultura
FACULTAD DE INGENIERIA
INTEGRANTE:
MATERIA: Automatas
Arco del → de S
R del arte del → | b
bbcc del → del bTc
bbUT del → del bTT
→ UU DE UT
→ Vcc de VUc del → de UUc
→ UV VV
bbcc del → del bVc
bbWV del → del bVV
→ WW DE WV
→ Tcc de TWc del → de WWc
→ TT DEL PESO
La cadena de la generación para el bbb ccc del aaa es:
S
arco
aaRTc
aaaRTTc
aaabTTc
aaabbUTc
aaabbUUc
aaabbVUc
aaabbVcc
aaabbbccc
Gramáticas más complicadas se pueden utilizar para analizar , y otras idiomas con
aún más letras:
S -> abcd
S -> aXbcd
Xb -> bX
Xc -> bYc
Yc -> cY
Yarda -> Rcdd
cR -> Rc
Br -> Rb
aR -> aaX | aa
(Esta gramática no es de hecho sensible al contexto, debido a la presencia de
producciones tales como Xb -> bX. Sin embargo, existe una gramática sensible al
contexto para esta lengua.)
La cadena de la generación para el ddd del ccc del bbb del aaa es:
S
aXbcd
abXcd
abbYcd
abbcYd
abbcRcdd
abbRccdd
abRbccdd
aRbbccdd
aaXbbccdd
aabXbccdd
aabbXccdd
aabbbYccdd
aabbbcYcdd
aabbbccYdd
aabbbccRcddd
aabbbcRccddd
aabbbRcccddd
aabbRbcccddd
aabRbbcccddd
aaRbbbcccddd
aaabbbcccddd
De manera m´as simple, podemos presentar una gram´atica GIC listando sus
producciones y separando con el s´ımbolo | las producciones de una misma
variable. Se
supone siempre que las letras may´usculas representan variables y las letras
min´usculas representan s´ımbolos terminales. As´ı la gram´atica del ejemplo
anterior se presenta
simplemente como:
S → aS | λ.
Es posible probar que cualquier palabra ω que sea aceptada por el AFD M, puede
ser generada por la gramática regular G. Esto significa que L(G) = L(M).
También es posible deducir un AFND a partir de una gramática regular G.
Sea G = (N, ∑, S0, P) una G.R., se define M = (Q, ∑, S, F, δ) como sigue:
Derivación de la gramática.
L3 = {xc3m/ x ∈ {a, b}* y la cantidad de b’s es par y m ≥ 0}, siendo L3 = L(M3D)
M3D = < {e0, e1, e2, e3, e4}, {a, b, c}, δ3D, e0, {e0, e4}>
δ3D está definida por el siguiente diagrama de transición de estados
Arbol de derivación
Ejemplo:
1 1 2
S a S aaS aa
a S
a S
Como se ve, las hojas del árbol son o bien símbolos terminales o bien .
Con esta G cada palabra se genera con un árbol único, pero en general no es así.
1 2 2
S SS aS aa
1 1 2 2 3
Cada derivación tiene asociado un árbol de derivación único. Es ésa una regla
general.
S S
S S S S
a a a S
1 2 2
S SS Sa aa
4. Explique ampliamente que significa Sensible al Contexto y Libre
E: es un alfabeto.
Donde generan los lenguajes independientes del contexto. Las reglas son de la
forma con A un no terminal y una cadena de terminales y no terminales. Estos
lenguajes son aquellos que pueden ser reconocidos por un autómata con pila
L(G) = (ab*Ua*b)*
G= (N,E,S,P)
N= {S}
E= {ab}