Nächste Seite: 离线/在线Ausführung
辅助设备: Erweiterungen von高尔夫
Vorherige Seite公司: Eine Transitionssemantik公司 Inhalt公司
外基因Ereignisse sind primitive Aktionen,die extern ausgelöst werden und模型制作人Welt verändern können的somit den Zustand der modelineten。Diese Aktionen sind公司也是nicht Teil des definierten程序Mit Hilfe einer Liste先生()der zugelassenen exogenen Aktionen kann das Prädikat公司定义人沃登。Damit kann das Auftreten eines Ereignisses建模师werdenals公司:
Das Programm verursacht die Ausführung keiner,einer order mehrer nichtdeterministicsch公司gewählter外显子Ereignisse。外显基因Ereignisse können nun mit Hilfe der eben在用户程序中的eingeführten Nebenäufiggeit杜克
埃因贝佐格·沃登。
2001-01-04