finite state languageとは 意味・読み方・使い方

SYNCHRONOUS FORMAL LANGUAGE FOR PROGRAMMING DETERMINISTIC FINITE STATE MACHINE例文帳に追加

決定論的有限状態マシンをプログラムするための同期式形式言語 - 特許庁

To provide a synchronous formal language for programming a deterministic finite state machine.例文帳に追加

決定論的有限状態マシンをプログラムするための同期式形式言語を提供する。 - 特許庁

The language includes a graphical interface, where the behavior of a finite state machine is represented as a graph of steps and transitions.例文帳に追加

本言語はグラフィックインターフェースを含み、有限状態マシンの挙動がステップおよび遷移のグラフで表現される。 - 特許庁

To allow even a person not having knowledge related to a preparation method for function verification description to prepare the function verification description regardless of a language used for the preparation of the function verification description or a design of a finite state machine when preparing the function verification description for verifying a simulation result of the finite state machine.例文帳に追加

有限状態マシンのシミュレーション結果を検証するための機能検証記述を作成するにあたり、有限状態マシンの設計や機能検証記述の作成に使用する言語に係わらず、機能検証記述の作成方法に関する知識が無い者であっても、機能検証記述を作成できるようにする。 - 特許庁