時間の多形記法
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/09/07 18:36 UTC 版)
Esterel での時間に記法は、非同期言語のそれとは異なる。具体的な時間は順序記述に置き換えられる。そのとき、事象の有無と同時性のみが考慮される。つまり、具体的な時間は特別な役割を持たないことを意味する。これを時間の多形記法（multiform notion of time）と呼ぶ。Esterel は、論理実体を完全に順序付けて並べて記述する。各実体では（0個を含む）任意個数の事象が発生する。同じ論理実体で発生した事象は同時に発生したと見なされる。それ以外の事象は発生した実体によって順序が決定される。文には、時間を消費しない文（実行と完了が同じ実体にあるもの）と、ある一定サイクル数の遅延がある文がある。
※この「時間の多形記法」の解説は、「Esterel」の解説の一部です。
「時間の多形記法」を含む「Esterel」の記事については、「Esterel」の概要を参照ください。
ウィキペディア小見出し辞書の「時間の多形記法」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ。
- 時間の多形記法のページへのリンク
