1.

Lenguaje Formal & Gramática de una calculadora

G={L,Σ , Σ ,S,P}
T NT

Σ ={S, Estado_inicial ,T_abajo, T_dercha, T_arriba, T_Izquierda, X }

NT

Σ ={ script_abajo, script_Camina_abajo, script_Camina_arriba, script_Camina_derecha,

T

script_Camina_izquierda, script_ataque script_ataque }

donde P=
S := Estado_inicial
Estado_inicial := script_abajo | Tecla | script_abajo Estado_Inicial | Tecla Estado_Inicial
Tecla := T_abajo | T_dercha | T_arriba | T_Izquierda | X
T_abajo := script_Camina_abajo | script_Camina_abajo X
T_arriba := script_Camina_arriba | script_Camina_arriba X
T_derecha := script_Camina_derecha | script_Camina_derecha X
T_izquierda := script_Camina_izquierda | script_Camina_izquierda X
X := script_ataque
L={Estado_inicial ,T_abajo, T_dercha, T_arriba, T_Izquierda, X , script_abajo,
script_Camina_abajo, script_Camina_arriba, script_Camina_derecha,
script_Camina_izquierda, script_ataque script_ataque }
Especificación Sintactica
Es T_a T_a T_d T_iz T_a T_d T_Iz T_a T_a T_d T_iz T_a T_a T_a T_d T_iz
ta baj rrib erec quie rrib erch quie baj baj erec quie rrib rrib baj erec quie
do o a ha rda a a rda o o ha rdaT a a o ha rda
_i Est Est Est Esta T_a T_a T_a T_a T_a T_a _arri T_a T_i T_i T_iz T_iz
ni ado ado ado do_i baj bajo bajo baj rrib rrib ba rrib zqu zqu quie quie
ci _ini _ini _ini nicia o o a a a ierd ierd rda rda
al cial cial cial l a a
Z0

qq 0 qλ
0 qλ
0 qλ
0 qλ
0 qλ
0 qλ
0 qλ
0 q0 qλ
0 qλ
0 qλ
0 q0 qλ
0 qλ
0 qλ q
0 0

0
sc scri scri scri scri scri scri scri scri scri scri scri scri scri scri scri scrip
rip pt_ pt_ pt_ pt_ pt_ pt_ pt_ pt_ pt_ pt_ pt_ pt_ pt_ pt_ pt_ t_Ca
t_ Ca Ca Ca Ca Ca Ca Ca Ca Ca Ca Ca Ca Ca Ca Ca mina
ab min min min min min min min min min min min min min min min _izq
aj a_a a_a a_d a_iz a_a a_d a_iz a_a a_a a_d a_iz a_a a_a a_a a_d quie
o baj rrib erec quie rrib erec quie baj baj erec quie baj rrib baj erec rda
o a ha rda a ha rda o o ha rda o a o ha