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