Abstract State Machines 2004. Advances in Theory and Practice formatIsbn:Softcover - 9783540220947 Denk- und Handelsweisen

Denk- und Handelsweisen

Albert-Ludwigs-Universität Freiburg (Institut für Ethnologie)

ERDA stellt eine zuverlässige und auch für industrielle Anwendungen sehr interessante Methode dar

die unter anderem zur ¿Etikettierung¿ bzw

soviel sei im Voraus bemerkt

Abstract State Machines 2004. Advances in Theory and Practice formatIsbn:Softcover - 9783540220947 Denk- und HandelsweisenAbstract state machines (ASM) sharpen the Church Turing thesis by the c sideration of bounded resources for computing devices. They view computations as an evolution of a state. It has been shown that all known models of com tation can be expressed through speci? c abstract state machines. These models can be given in a representation independent way. That is one advantage of transferring these models to ASM. The main advantage is, however, to provide