Akademik

不完全确定顺序机

_

incompletely-specified sequential machine

Наука. 2013.