PanLinx
русский
rus-000
автомат с линейно ограниченной памятью
English
eng-000
LBA
English
eng-000
Linear Bounded Automaton
PanLex