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