PanLinx
русский
rus-000
канал с конечным числом состояний
English
eng-000
finite-state channel
PanLex