Abstract state machine
Eine abstrakte Zustandsmaschine (englisch Abstract State Machine (ASM), nicht zu verwechseln mit , ehemals auch Evolving Algebra (EVA) genannt), ist in der Informatik ein Modell zur formalen, operationellen Beschreibung von Algorithmen. Anders als bei endlichen Automaten, deren Zustände lediglich Namen haben, sind die Zustände einer abstrakten Zustandsmaschine allgemeine mathematische Strukturen. Beim Entwurf komplexer Schaltwerke wird auch auf die Formalisierung mit abstrakten Zustandsmaschinen zurückgegriffen.
known for
Wikipage disambiguates
APCBASMAbstract State MachineAbstract State Machine LanguageAbstract State MachinesAbstract state machine (version 2)Abstract state machinesCoreASMEgon BörgerEvolving AlgebrasExtended finite-state machineFinite-state machineFormal methodsInteractive computationKeYSubject-oriented business process managementTimeline of Russian innovationYuri GurevichZ User Group
Link from a Wikipage to another Wikipage
known for
primaryTopic
Abstract state machine
Eine abstrakte Zustandsmaschine (englisch Abstract State Machine (ASM), nicht zu verwechseln mit , ehemals auch Evolving Algebra (EVA) genannt), ist in der Informatik ein Modell zur formalen, operationellen Beschreibung von Algorithmen. Anders als bei endlichen Automaten, deren Zustände lediglich Namen haben, sind die Zustände einer abstrakten Zustandsmaschine allgemeine mathematische Strukturen. Beim Entwurf komplexer Schaltwerke wird auch auf die Formalisierung mit abstrakten Zustandsmaschinen zurückgegriffen.
has abstract
Eine abstrakte Zustandsmaschin ...... andsmaschinen zurückgegriffen.
@de
Em ciência da computação, uma ...... testando modelos de execução).
@pt
En informatique, une machine à ...... es donné initialement aux ASM.
@fr
Nel campo dell'informatica il ...... ormale è stata sviluppata da .
@it
Link from a Wikipage to an external page
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
1,026,074,791
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
comment
Eine abstrakte Zustandsmaschin ...... andsmaschinen zurückgegriffen.
@de
Em ciência da computação, uma ...... ima de três conceitos básicos:
@pt
En informatique, une machine à ...... es donné initialement aux ASM.
@fr
Nel campo dell'informatica il ...... ormale è stata sviluppata da .
@it
label
Abstract state machine
@en
Abstract state machine
@it
Abstrakte Zustandsmaschine
@de
Machine à états abstraits
@fr
Máquina de estados abstratos
@pt