from machine import Pin
import utime

led_rojo = Pin(13, Pin.OUT)
led_amarillo = Pin(14, Pin.OUT)
led_verde = Pin(15, Pin.OUT)

boton = Pin(16, Pin.IN, Pin.PULL_DOWN)  # Botón en el pin 16, configurado con resistencia pull-down

def paro():
    if boton.value() == 1:
        for i in range(3):
            led_verde.value(1)
            utime.sleep(.5)
            led_verde.value(0)
            utime.sleep(.5)
        led_amarillo.value(1)
        utime.sleep(2)
        led_amarillo.value(0)
        utime.sleep(1)
        led_rojo.value(1)
        utime.sleep(5) 
        led_rojo.value(0)
        led_verde.value(1)
        utime.sleep(3)

def semaforo():
    while True:
        # Ciclo normal del semáforo
        paro()
        led_verde.value(1)
        paro()
        utime.sleep(3)
        paro()
        led_verde.value(0)

        led_amarillo.value(1)
        utime.sleep(2)
        led_amarillo.value(0)
       
        led_rojo.value(1)
        utime.sleep(5)
        led_rojo.value(0)

      

semaforo()