void setup() {
  // put your setup code here, to run once:
  pinMode(8, OUTPUT); // автокрасный цвет
  pinMode(12, OUTPUT); // автожелтый цвет
  pinMode(13, OUTPUT); // автозеленый цвет

  pinMode(2, INPUT); // кнопка

  pinMode(9, OUTPUT); // пешкрасный цвет
  pinMode(11, OUTPUT); // пешзеленый цвет
}

void loop() {
  // put your main code here, to run repeatedly:
    digitalWrite(9, HIGH); // вкл пешкрасный цвет
    digitalWrite(13, HIGH); // вкл автозеленый цвет
   if (digitalRead(2) == HIGH)  // кнопка выкл
   {
    for (int i=0; i<3; i++){ // цикл
      digitalWrite(13, HIGH); // вкл автозеленый цвет
      delay(500);  //ждем 0.5 сек
      digitalWrite(13, LOW); // выкл автозеленый цвет
      delay(500); // ждем 0.5 сек
    };
    digitalWrite(9, HIGH); // вкл пешкрасный цвет
    digitalWrite(12, HIGH); // вкл  автожелтый цвет
    delay(1000); // ждем 1 сек
    digitalWrite(12, LOW); // выкл автожелтый цвет
    digitalWrite(9, LOW); // выкл пешкрасный цвет
    digitalWrite(8, HIGH); // вкл автокрасный цвет
    digitalWrite(11, HIGH); // вкл пешзеленый цвет
    delay(1000); // ждем 1 сек
    digitalWrite(12, HIGH); // вкл автожелтый цвет
    for (int i=0; i<3; i++){ //цикл
      digitalWrite(11, HIGH); // вкл пешзеленый цвет
      delay(500); //ждем 0.5 сек
      digitalWrite(11, LOW); // выкл пешзеленый цвет
      delay(500);  //ждем 0,5 сек
    }
    digitalWrite(12, LOW); // выкл автожелтый цвет
    digitalWrite(8, LOW); // выкл автокрасный цвет
  }
}