Please use this identifier to cite or link to this item: doi:10.22028/D291-25815
Title: Transformations of evolving algebras
Author(s): Diehl, Stephan
Language: English
Year of Publication: 1995
SWD key words: Technische Informatik
Free key words: evolving algebras
DDC notations: 004 Computer science, internet
Publikation type: Report
Abstract: We give a precise definition of evolving algebras nondeterministic, mathematical machines. All proofs in the paper are based on this definition. First we define constant propagation as a transformation on evolving algebras. Then we extend evolving algebras by macro definitions and define folding and unfolding transformations for macros. Next we introduce a simple transformation to flatten transition rules. Finally a pass separation transformation for evolving algebras is presented For all transformations the operational equivalence of the resulting algebras with the original algebras is proven. In the case of pass separation, we show, that the results of the computations in the original and the transformed evolving algebra are equal. Next we apply pass separation to a simple interpreter. Finally a comparison to other work is given.
Link to this record: urn:nbn:de:bsz:291-scidok-3753
Series name: Technischer Bericht / A / Fachbereich Informatik, Universität des Saarlandes
Series volume: 1995/02
Date of registration: 23-Jun-2005
Faculty: MI - Fakultät für Mathematik und Informatik
Department: MI - Informatik
Collections:SciDok - Der Wissenschaftsserver der Universität des Saarlandes

Files for this record:
File Description SizeFormat 
fb14-95-02.pdf206,03 kBAdobe PDFView/Open

Items in SciDok are protected by copyright, with all rights reserved, unless otherwise indicated.