PanLinx
русский
rus-000
недетерминированный процесс
English
eng-000
nondeterministic process
PanLex