SYNCHRONOUS FORMAL LANGUAGE FOR PROGRAMMING DETERMINISTIC FINITE STATE MACHINE 決定論的有限状態マシンをプログラムするための同期式形式言語 - 特許庁
To provide a synchronous formal language for programming a deterministic finite state machine. 決定論的有限状態マシンをプログラムするための同期式形式言語を提供する。 - 特許庁
The first language was a completely deterministiclanguage, which included biased operators that can be used to model different priorities on actions.
第一の言語は完全に決定性言語であり、活動に対する異なる優先順位をモデル化するのに使えるバイアスされたオペレータを含んでいる。 - コンピューター用語辞典