Finite state machine

Category Archive: Finite state machine


March 03, 2008

What is a state machine?

Our web site contains several technical notes and papers that discuss some aspects of software engineering associated with the concept of a finite state machine. On introducing our blog we have decided to present you a few topics covered by a group of our documents. We started with the Mealy and Moore models of a finite state machine, honoring the fact that it is a favorite topic according to visitors' statistics. The topic that we would like to present you today is "What is a state machine".

...continue reading "What is a state machine?"

Posted Ferdinand Wagner on Monday 03 March 2008 at 08:00
Permalink | Comments (5)

February 22, 2008

Moore or Mealy model

Moore and Mealy models are the basic two models of state machines as defined in the literature. To understand the differences between them the actions (outputs) must be defined and bound to state changes. The technical note "Moore or Mealy model?" discusses both models and shows that the optimal solution is achieved when features of both models are used in a mixed model. Although the concepts of these two models are useful when performing certain theoretical studies, they are also interesting for software developers, and StateWORKS makes the use of a mixed model easy and effective.

...continue reading "Moore or Mealy model"

Posted Ferdinand Wagner on Friday 22 February 2008 at 17:58
Permalink | Comments (0)