Recurso “Estacionamiento Díaz Carmona Alberto Lizeth Chavira Instituto tecnológico de Tijuana Ing. Tecnologías de la información y comunicación Matemáticas Discretas II Unidad IV Autómata Recurso “Estacionamiento Díaz Carmona Alberto Lizeth Chavira
Introducción Maquinas de estado finito o autómatas Las máquinas de estados se definen como un conjunto de estados que sirve de intermediario en esta relación de entradas y salidas, haciendo que el historial de señales de entrada determine, para cada instante, un estado para la máquina, de forma tal que la salida depende únicamente del estado y las entradas actuales.
Estos son los elementos que conforman un autómata o maquina de estado finito: ∑ (Alfabeto) {a, b} Q (Estados) { q0,q1} S (transiciones) q0 (estado inicial) qx (estado final) {*}
Descripción En este recurso utilizamos 2 maquinas diferentes una para entrada y otra para salida por lo tanto se requieren 2 diagramas con estados y transiciones. Entrada: Consiste en que llega la persona en su auto, un sensor detecta la presencia del auto, el usuario tendrá que presionar un botón para recibir un boleto. Al recibirlo la pluma se levanta para dar acceso al estacionamiento. Salida : Al momento de la salida el usuario tendrá que insertar su boleto para saber la tarifa que va a pagar, realiza el pago en el cajero, recibe cambio en caso que así sea, se levanta la pluma para que el auto pueda salir.
Entrada Sc=0 Sb=0 Sc=0 Sc=1 Detecta auto Espera Imprimir boleto Sc=1 Presiona botón Sb=1 Retirar boleto Sp=1 Se levanta la perilla Baja Perilla Sensores Sc:Sensor que detecta el auto. Sb:Sensor que detecta la inserción o retiro del boleto y activa el sensor Sp Sp: Sensor que sube y baja la perilla Sp=0 Pasa auto 2 mts de distancia
Entrada Sc=0 Sb=0 Sc=0 Sc=1 Detecta auto Espera Imprimir boleto Sc=1 Presiona botón Sb=1 Retirar boleto Sp=1 Se levanta la perilla Baja Perilla Sp=0 Pasa auto 2 mts de distancia
Entrada Sc=0 Sb=0 Sc=0 Sc=1 Detecta auto Espera Imprimir boleto Sc=1 Presiona botón Sb=1 Retirar boleto Sp=1 Se levanta la perilla Baja Perilla Sp=0 Pasa auto 2 mts de distancia
Entrada Sc=0 Sb=0 Sc=0 Sc=1 Detecta auto Espera Imprimir boleto Sc=1 Presiona botón Sb=1 Retirar boleto Sp=1 Se levanta la perilla Baja Perilla Sp=0 Pasa auto 2 mts de distancia
Entrada Sc=0 Sb=0 Sc=0 Sc=1 Detecta auto Espera Imprimir boleto Sc=1 Presiona botón Sb=1 Retirar boleto Sp=1 Se levanta la perilla Baja Perilla Sp=0 Pasa auto 2 mts de distancia
Entrada Sc=0 Sb=0 Sc=0 Sc=1 Detecta auto Espera Imprimir boleto Sc=1 Presiona botón Sb=1 Retirar boleto Sp=1 Se levanta la perilla Baja Perilla Sp=0 Pasa auto 2 mts de distancia
Entrada Sc=0 Sb=0 Sc=0 Sc=1 Detecta auto Espera Imprimir boleto Sc=1 Presiona botón Sb=1 Retirar boleto Sp=1 Se levanta la perilla Baja Perilla Sp=0 Pasa auto 2 mts de distancia
Entrada Sc=0 Sb=0 Sc=0 Sc=1 Detecta auto Espera Imprimir boleto Sc=1 Presiona botón Sb=1 Retirar boleto Sp=1 Se levanta la perilla Baja Perilla Sp=0 Pasa auto 2 mts de distancia
Entrada Sc=0 Sb=0 Sc=0 Sc=1 Detecta auto Espera Imprimir boleto Sc=1 Presiona botón Sb=1 Retirar boleto Sp=1 Se levanta la perilla Baja Perilla Sp=0 Pasa auto 2 mts de distancia
Entrada Sc=0 Sb=0 Sc=0 Sc=1 Detecta auto Espera Imprimir boleto Sc=1 Presiona botón Sb=1 Retirar boleto Sp=1 Se levanta la perilla Se levanta la perilla Sp=0 Pasa auto 2 mts de distancia
Salida Sensores Sc:Sensor que detecta el auto. Sc=0 Sb:Sensor que detecta la inserción o retiro del boleto Sd: sensor que verifica que el pago se realizo y activa el sensor Sp Sp: Sensor que sube y baja la perilla Sc=0 Detecta auto Sc=1 Sc=0 2 mts de distancia Baja perilla Espera Sp=1 Pasa auto Sc=1 Levanta Perilla Sp=0 Insertar boleto Sd=1 Calculo de tarifa 0-1 hr =25 1-2 hr =45 2-5 hr=56 5-24 hrs =100 Devolver cambio Sd=1 dinero = tarifa Recoge cambio Sb=0 insertar dinero Sb=1 dinero > tarifa Mostrar tarifa Sd=0 dinero ≠ tarifa
Salida Sc=0 Detecta auto Sc=1 Sc=0 Baja perilla Espera Sp=1 Sc=1 2 mts de distancia Baja perilla Espera Sp=1 Pasa auto Sc=1 Levanta Perilla Sp=0 Insertar boleto Sd=1 Calculo de tarifa 0-1 hr =25 1-2 hr =45 2-5 hr=56 5-24 hrs =100 Devolver cambio Sd=1 dinero = tarifa Recoge cambio Sb=0 insertar dinero Sb=1 dinero > tarifa Mostrar tarifa Sd=0 dinero ≠ tarifa
Salida Sc=0 Detecta auto Sc=1 Sc=0 Baja perilla Espera Sp=1 Sc=1 2 mts de distancia Baja perilla Espera Sp=1 Pasa auto Sc=1 Levanta Perilla Sp=0 Insertar boleto Sd=1 Calculo de tarifa 0-1 hr =25 1-2 hr =45 2-5 hr=56 5-24 hrs =100 Devolver cambio Sd=1 dinero = tarifa Recoge cambio Sb=0 insertar dinero Sb=1 dinero > tarifa Mostrar tarifa Sd=0 dinero ≠ tarifa
Salida Sc=0 Detecta auto Sc=1 Sc=0 Baja perilla Espera Sp=1 Sc=1 2 mts de distancia Baja perilla Espera Sp=1 Pasa auto Sc=1 Levanta Perilla Sp=0 Insertar boleto Sd=1 Calculo de tarifa 0-1 hr =25 1-2 hr =45 2-5 hr=56 5-24 hrs =100 Devolver cambio Sd=1 dinero = tarifa Recoge cambio Sb=0 insertar dinero Sb=1 dinero > tarifa Mostrar tarifa Sd=0 dinero ≠ tarifa
Salida Sc=0 Detecta auto Sc=1 Sc=0 Baja perilla Espera Sp=1 Sc=1 2 mts de distancia Baja perilla Espera Sp=1 Pasa auto Sc=1 Levanta Perilla Sp=0 Insertar boleto Sd=1 Calculo de tarifa 0-1 hr =25 1-2 hr =45 2-5 hr=56 5-24 hrs =100 Devolver cambio Sd=1 dinero = tarifa Recoge cambio Sb=0 insertar dinero Sb=1 dinero > tarifa Mostrar tarifa Sd=0 dinero ≠ tarifa
Salida Sc=0 Detecta auto Sc=1 Sc=0 Baja perilla Espera Sp=1 Sc=1 2 mts de distancia Baja perilla Espera Sp=1 Pasa auto Sc=1 Levanta Perilla Sp=0 Insertar boleto Sd=1 Calculo de tarifa 0-1 hr =25 1-2 hr =45 2-5 hr=56 5-24 hrs =100 Devolver cambio Sd=1 dinero = tarifa Recoge cambio Sb=0 insertar dinero Sb=1 dinero > tarifa Mostrar tarifa Sd=0 dinero ≠ tarifa
Salida Sc=0 Detecta auto Sc=1 Sc=0 Baja perilla Espera Sp=1 Sc=1 2 mts de distancia Baja perilla Espera Sp=1 Pasa auto Sc=1 Levanta Perilla Sp=0 Insertar boleto Sd=1 Calculo de tarifa 0-1 hr =25 1-2 hr =45 2-5 hr=56 5-24 hrs =100 Devolver cambio Sd=1 dinero = tarifa Recoge cambio Sb=0 insertar dinero Sb=1 dinero > tarifa Mostrar tarifa Sd=0 dinero ≠ tarifa
Salida Sc=0 Detecta auto Sc=1 Sc=0 Baja perilla Espera Sp=1 Sc=1 2 mts de distancia Baja perilla Espera Sp=1 Pasa auto Sc=1 Levanta Perilla Sp=0 Insertar boleto Sd=1 Calculo de tarifa 0-1 hr =25 1-2 hr =45 2-5 hr=56 5-24 hrs =100 Devolver cambio Sd=1 dinero = tarifa Recoge cambio Sb=0 insertar dinero Sb=1 dinero > tarifa Mostrar tarifa Sd=0 dinero ≠ tarifa
Salida Sc=0 Detecta auto Sc=1 Sc=0 Baja perilla Espera Sp=1 Sc=1 2 mts de distancia Baja perilla Espera Sp=1 Pasa auto Sc=1 Levanta Perilla Sp=0 Insertar boleto Sd=1 Calculo de tarifa 0-1 hr =25 1-2 hr =45 2-5 hr=56 5-24 hrs =100 Devolver cambio Sd=1 dinero = tarifa Recoge cambio Sb=0 insertar dinero Sb=1 dinero > tarifa Mostrar tarifa Sd=0 dinero ≠ tarifa
Salida Sc=0 Detecta auto Sc=1 Sc=0 Baja perilla Espera Sp=1 Sc=1 2 mts de distancia Baja perilla Espera Sp=1 Pasa auto Sc=1 Levanta Perilla Sp=0 Insertar boleto Sd=1 Calculo de tarifa 0-1 hr =25 1-2 hr =45 2-5 hr=56 5-24 hrs =100 Devolver cambio Sd=1 dinero = tarifa Recoge cambio Sb=0 insertar dinero Sb=1 dinero > tarifa Mostrar tarifa Sd=0 dinero ≠ tarifa
Salida Sc=0 Detecta auto Sc=1 Sc=0 Baja perilla Espera Sp=1 Sc=1 2 mts de distancia Baja perilla Espera Sp=1 Pasa auto Sc=1 Levanta Perilla Sp=0 Insertar boleto Sd=1 Calculo de tarifa 0-1 hr =25 1-2 hr =45 2-5 hr=56 5-24 hrs =100 Devolver cambio Sd=1 dinero = tarifa Recoge cambio Sb=0 insertar dinero Sb=1 dinero > tarifa Mostrar tarifa Sd=0 dinero ≠ tarifa
Salida Sc=0 Detecta auto Sc=1 Sc=0 Baja perilla Espera Sp=1 Sc=1 2 mts de distancia Baja perilla Espera Sp=1 Pasa auto Sc=1 Levanta Perilla Sp=0 Insertar boleto Sd=1 Calculo de tarifa 0-1 hr =25 1-2 hr =45 2-5 hr=56 5-24 hrs =100 Devolver cambio Sd=1 dinero = tarifa Recoge cambio Sb=0 insertar dinero Sb=1 dinero > tarifa Mostrar tarifa Sd=0 dinero ≠ tarifa
Salida Sc=0 Detecta auto Sc=1 Sc=0 Baja perilla Espera Sp=1 Sc=1 2 mts de distancia Baja perilla Espera Sp=1 Pasa auto Sc=1 Levanta Perilla Sp=0 Insertar boleto Sd=1 Calculo de tarifa 0-1 hr =25 1-2 hr =45 2-5 hr=56 5-24 hrs =100 Devolver cambio Sd=1 dinero = tarifa Recoge cambio Sb=0 insertar dinero Sb=1 dinero > tarifa Mostrar tarifa Sd=0 dinero ≠ tarifa
Salida Sc=0 Detecta auto Sc=1 Sc=0 Baja perilla Espera Sp=1 Sc=1 2 mts de distancia Baja perilla Espera Sp=1 Pasa auto Sc=1 Levanta Perilla Sp=0 Insertar boleto Sd=1 Calculo de tarifa 0-1 hr =25 1-2 hr =45 2-5 hr=56 5-24 hrs =100 Devolver cambio Sd=1 dinero = tarifa Recoge cambio Sb=0 insertar dinero Sb=1 dinero > tarifa Mostrar tarifa Sd=0 dinero ≠ tarifa
Salida Sc=0 Detecta auto Sc=1 Sc=0 Baja perilla Espera Sp=1 Sc=1 2 mts de distancia Baja perilla Espera Sp=1 Pasa auto Sc=1 Levanta Perilla Sp=0 Insertar boleto Sd=1 Calculo de tarifa 0-1 hr =25 1-2 hr =45 2-5 hr=56 5-24 hrs =100 Devolver cambio Sd=1 dinero = tarifa Recoge cambio Sb=0 insertar dinero Sb=1 dinero > tarifa Mostrar tarifa Sd=0 dinero ≠ tarifa
Salida Sc=0 Detecta auto Sc=1 Sc=0 Baja perilla Espera Sp=1 Sc=1 2 mts de distancia Baja perilla Espera Sp=1 Pasa auto Sc=1 Levanta Perilla Sp=0 Insertar boleto Sd=1 Calculo de tarifa 0-1 hr =25 1-2 hr =45 2-5 hr=56 5-24 hrs =100 Devolver cambio Sd=1 dinero = tarifa Recoge cambio Sb=0 insertar dinero Sb=1 dinero > tarifa Mostrar tarifa Sd=0 dinero ≠ tarifa
Palacios de la Rosa Mariana y Integrantes de equipo Palacios de la Rosa Mariana y Díaz Carmona Alberto