int pulsador = 1, leds[] = {10, 11, 12, 13}; 

void setup(){

  pinMode(pulsador, INPUT);
  for (int i = 0; i<4; i++){

    pinMode(i, OUTPUT);

  }

}

void encendido(){

  for (int o = 0; o<4; o++){

    digitalWrite(o, HIGH);
    delay(500);
    digitalWrite(o, LOW);
    delay(500);

  }

}

void loop(){

  if(digitalRead(pulsador) == HIGH){

    encendido();

  }

}