PanLinx
русский
rus-000
конечно порождённый
English
eng-000
finitely generated
PanLex