About: Abstrakte Zustandsmaschine (original) (raw)
Eine abstrakte Zustandsmaschine (englisch Abstract State Machine (ASM), nicht zu verwechseln mit Algorithmic state machines, 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.
| Property | Value |
|---|---|
| dbo:abstract | Eine abstrakte Zustandsmaschine (englisch Abstract State Machine (ASM), nicht zu verwechseln mit Algorithmic state machines, 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. Im Gebiet des Übersetzerbaus dient das Modell der Beschreibung der Semantik des zu übersetzenden Programms, und es hilft sicherzustellen, dass die Semantik des zu übersetzenden Programms erhalten bleibt (Verifizierung). Bei der Entwicklung von Software im Allgemeinen erlaubt das Modell in der Analyse- und Entwurfsphase eine formale Beschreibung der funktionalen Anforderungen. Diese mathematische Herangehensweise verbessert beispielsweise Verifizierbarkeit und Wiederverwendbarkeit. Beim Entwurf komplexer Schaltwerke wird auch auf die Formalisierung mit abstrakten Zustandsmaschinen zurückgegriffen. (de) |
| dbo:wikiPageExternalLink | http://asmeta.sourceforge.net http://www.coreasm.org http://www.xasm.org http://esl.mit.edu/tasm/ http://www.di.unipi.it/~boerger/Papers/Methodology/AsmDefinition.PDF http://informatikdienstleistungen.de/wp-content/uploads/2013/07/Verifikation_von_Uebersetzern.pdf http://informatikdienstleistungen.de/wp-content/uploads/2013/07/Verifikation_von_Uebersetzern_Text.pdf http://research.microsoft.com/en-us/projects/asml/ http://www.informatik.uni-trier.de/~ley/db/conf/asm/ http://www2.informatik.hu-berlin.de/top/download/publications/Glausch2003_sa.pdf http://www.eecs.umich.edu/gasm/ |
| dbo:wikiPageID | 3028756 (xsd:integer) |
| dbo:wikiPageRevisionID | 135637294 (xsd:integer) |
| prop-de:text | TASM |
| prop-de:url | http://esl.mit.edu/tasm/ |
| prop-de:wayback | 20090417073313 (xsd:double) |
| dct:subject | category-de:Berechenbarkeitstheorie category-de:Theorie_formaler_Sprachen |
| rdfs:comment | Eine abstrakte Zustandsmaschine (englisch Abstract State Machine (ASM), nicht zu verwechseln mit Algorithmic state machines, 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. (de) |
| rdfs:label | Abstrakte Zustandsmaschine (de) |
| owl:sameAs | dbr:Abstrakte Zustandsmaschine wikidata:Abstrakte Zustandsmaschine dbpedia-fr:Abstrakte Zustandsmaschine dbpedia-it:Abstrakte Zustandsmaschine dbpedia-pt:Abstrakte Zustandsmaschine dbpedia-wikidata:Abstrakte Zustandsmaschine freebase:Abstrakte Zustandsmaschine |
| prov:wasDerivedFrom | wikipedia-de:Abstrakte_Zustandsmaschine?oldid=135637294 |
| foaf:isPrimaryTopicOf | wikipedia-de:Abstrakte_Zustandsmaschine |
| is dbo:wikiPageRedirects of | dbpedia-de:Abstract_State_Machine dbpedia-de:Abstract_State_Machines |
| is foaf:primaryTopic of | wikipedia-de:Abstrakte_Zustandsmaschine |