PanLinx
беларуская
bel-000
імавернасны аўтамат
русский
rus-000
вероятностный автомат
PanLex