Вот необходимое вам регулярное выражение
pattern="ALAA-\d{6}"
Вы также можете написать его как:
pattern="ALAA-[0-9]{6}"
Я не думаю, что одно из них более правильно, чем другое, но некоторые людиможет иметь мнение о том, что является более читабельным.
\ d означает совпадать с любой цифрой.[0-9] означает совпадение с любым символом в диапазоне 0-9, так что это фактически то же самое, что и \ d
Средство {6} точно соответствует 6 повторениям предыдущего символа