PanLinx
English
eng-000
memory logistor
русский
rus-000
логический автомат с памятью
PanLex