Abstract State Machines

Spezifikation

Frage:

Was sind zentrale Spezifikationen von ASMs?

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Zustand

Frage:

Was sind Zustände in ASMs?

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Begriff

Frage:

Was sind Begriffe in ASMs? 

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Signatur und Universum

Frage:

Was ist die Besonderheit von Signaturen und Universen?

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Schritt

Frage:

Was ist ein Schritt einer ASM? 

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Guarded Update

Frage:

Was wird als Guarded Update bezeichnet? 

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Algorithmus

Frage:

Was wird bei ASMs als Algorithmus bezeichnet? 

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

ASM-Theorem

Frage:

Was besagt das ASM-Theorem

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Large-Step-ASM

Frage:

Was ist die Besonderheit bei Large-Step-ASMs?

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Nichtdeterminismus

Frage:

Welches neue Ausdrucksmittel fügt Nichtdeterminismus zu ASMs hinzu? 

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Erweiterung der Domain

Frage:

Welches neue Ausdrucksmittel fügt Erweiterung der Domain zu ASMs hinzu? 

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Verteilte ASM

Frage:

Welches Konzept fügen Verteilte ASMs hinzu? 

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.