From Stream Transformers to Moore State Transition Machines with Input and Output

Walter Dosch, Wuttipong Ruanthong, Annette Stümpel

Abstract

A black box specification of a deterministic software or hardware component refers to the function mapping input histories to output histories. An important refinement step amounts to designing a state transition machine which correctly implements the specified behaviour. We present a formal method for implementing stream transformers by Moore state transition machines. First we construct a canonical Moore state transition machine whose state space is based on input histories. Then we identify output equivalent states for achieving a reduced Moore state transition machine. We illustrate the formal method with various applications.

Original languageEnglish
Title of host publicationSeventh ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD'06)
Number of pages8
Volume2006
PublisherIEEE
Publication date22.12.2006
Pages 65-72
Article number1640668
ISBN (Print) 0-7695-2611-X
DOIs
Publication statusPublished - 22.12.2006
Event7th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing - Las Vegas, United States
Duration: 19.06.200620.06.2006
Conference number: 68800

Fingerprint

Dive into the research topics of 'From Stream Transformers to Moore State Transition Machines with Input and Output'. Together they form a unique fingerprint.

Cite this