regular derivability

Мат. регулярная выводимость