Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Automata Carro
Automata Carro
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.
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