PanLinx
русский
rus-000
регулярная выводимость
English
eng-000
regular derivability
PanLex