Descripcin:

Se har un robot el cual sea capaz de encender un automvil modelo estndar, es decir, se plantearan entradas y estados, desde que abrimos la puerta de nuestro carro, subimos a l, cerramos la puerta, ponemos seguros, nos colocamos el cinturn de seguridad, Introducimos la llave del vehculo en el swich, ponemos en neutral, pisamos el clutch, lo encendemos y hasta que el final lo ponemos en marcha. Todo esto hecho por nuestro robot controlado remotamente con un control que de paso a la siguiente accin. Nuestro robot tambin ser capaz de saltar ciertas acciones de seguridad como lo son ponerse el cinturn de seguridad y poner los seguros del carro.

Premisas
1.- Abrir puerta 2.- Subir al carro 3.- Cerrar la puerta del carro 4.- Poner seguros 5.- Colocar el cinturn de seguridad 6.- Introducir la llave al swich 7.- Poner en neutral. 8.- Pisar cutch 9.- Encender el carro 10.- Ponerlo en marcha.

Significado de los Estados

q0 = Esperando q1 = Abrir Puerta q2 = Entrar al Carro q3 = Cerrar puerta q4 = Poner seguros q5= Colocar cinturn q6 = Colocar llave q7 = Poner en Neutral q8 = Pisar clutch q9 = Encender carro q10=Poner en marcha. Q11= Descansa el autmata

Significado de las entradas

1 = Boton presionado 2 = Boton no presionado S = Salto de accin.

Diagrama de transicin

Tupla completa
M = ( Q, , Q0, , F) M = ( {q0,q1, q2, q3, q4, q5, q6, q7, q8, q9, q10}, { 0,1}, q0, , {q11})

(q0, 1) = q1 (q0, 0) = q0 (q1, 1) = q2 (q1, 0) = q1 (q2, 1) = q3 (q2, 0 = q2 (q3, 1) = q4 (q3, 0) = q3 (q4, 1) = q5 (q4, 0) = q4 (q4, s) = q6 (q3, s) = q5

(q5, 1) = q6 (q5, 0) = q5 (q6, 1) = q7 q6, 0 = q6 (q7, 1) = q8 (q7, 0) = q7 (q8, 1) = q9 (q8, 0) = q8 (q9, 1) = q10 (q9, 0) = q9 (q10, 1) = q11 (q10, 0) = q10

Gramatica completa
G = ( Vt, Vn , P, S) G = ({1,2,s}, {q0,q1, q2, q3, q4, q5, q6, q7, q8,q9,q10,q11}, P, q0) Producciones q0 1q1 q1 1q2 q2 1q3 q3 1q4 q4 1q5 q5 1q6 q6 1q7 q7 1q8 q8 1q9 q9 1q10 q10 1q11 q11 2q11 | | | | | | | | | | | | 2q0 2q1 2q2 2q3 | sq5 2q4 | sq6 2q5 2q6 2q7 2q8 2q9 2q10

Tipo de automata
Auomata finito deterministico Elejimos este automata por que es el que mas se ajusta a nuestras necesidades.

Tipo de gramatica
Gramatica tipo 3 Gramatica Regular Gramatica de estado finito

Tabla de transicion
Entradas Estados Q0 Q1 Q2 Q3 Q4 Q5 Q6 Q7 Q8 Q9 Q10 Q11 0 1 S

Q0 Q1 Q2 Q3 Q4 Q5 Q6 Q7 Q8 Q9 Q10

Q1 Q2 Q3 Q4 Q5 Q6 Q7 Q8 Q9 Q10 Q11

Q5 Q6