Automata-based Programming - Compared Against Imperative and Procedural Programming

Compared Against Imperative and Procedural Programming

The notion of state is not exclusive property of automata-based programming. Generally speaking, state (or program state) appears during execution of any computer program, as a combination of all information that can change during the execution. For instance, a state of a traditional imperative program consists of

  1. values of all variables and the information stored within dynamic memory
  2. values stored in registers
  3. stack contents (including local variables' values and return addresses)
  4. current value of the instruction pointer

These can be divided to the explicit part (such as values stored in variables) and the implicit part (return addresses and the instruction pointer).

Having said this, an automata-based program can be considered as a special case of an imperative program, in which implicit part of the state is minimized. The state of the whole program taken at the two distinct moments of entering the step code section can differ in the automaton state only. This simplifies the analysis of the program.

Read more about this topic:  Automata-based Programming

Famous quotes containing the words compared, imperative and/or programming:

    We cannot do without it, and yet we disgrace and vilify the same. It may be compared to a cage, the birds without despair to get in, and those within despair to get out.
    Michel de Montaigne (1533–1592)

    The political core of any movement for freedom in the society has to have the political imperative to protect free speech.
    bell hooks (b. 1955)

    If there is a price to pay for the privilege of spending the early years of child rearing in the driver’s seat, it is our reluctance, our inability, to tolerate being demoted to the backseat. Spurred by our success in programming our children during the preschool years, we may find it difficult to forgo in later states the level of control that once afforded us so much satisfaction.
    Melinda M. Marshall (20th century)