regular sequent

Мат. регулярная секвенция