State diagrams is a diagram used in the field of computer science, representing the behavior of a system, which is composed of a finite number of states. There are many forms of state diagrams, which differ slightly and have different semantics.
State diagram can be used to graphically represent finite state machines. This was introduced by Taylor Booth in his 1967 book "Sequential Machines and Automata Theory". Another possible representation is the State transition table.
The output function ω represents the mapping of input symbols into output symbols, denoted mathematically as ω : Σ × Q→ Z.
For a deterministic finite state machine (DFA), nondeterministic finite state machine (NFA), generalized nondeterministic finite state machine (GNFA), or Moore machine, the input is denoted on each edge. For a Mealy machine, input and output are signified on each edge, separated with a slash "/": "1/0" denotes the state change upon encountering the symbol "1" causing the symbol "0" to be output. For a Moore machine the state's output is usually written inside the state's circle, also separated from the state's designator with a slash "/". There are also variants that combine these two notations.
For example, if a state has a number of outputs (e.g. "a= motor counter-clockwise=1, b= caution light inactive=0") the diagram should reflect this : e.g. "q5/1,0" designates state q5 with outputs a=1, b=0. This designator will be written inside the state's circle.
Classic state diagrams are "or" (disjunctive) diagrams, because the machine can only be in one of all the possible states. With Harel statecharts it is possible to model "and" machines, where a machine can be in two or more states concurrently. This is due in part to the modelling of superstates and in part to the modelling of concurrent machines.
The Unified Modeling Language (UML) state diagram is essentially a Harel statechart with standardized notation, which can describe many systems, from computer programs to business processes. The following are the basic notational elements that can be used to make up a diagram:
According to Pilone, the only predefined guard condition is ELSE. No other examples are provided within that publication.
Another extension allows the integration of flowcharts within Harel statecharts. This extension supports the development of software that is both event driven and workflow driven.
US Patent Issued to National Instruments on Jan. 4 for "Creating Machine Vision Inspections Using a State Diagram Representation" (Texas Inventors)
Jan 11, 2011; ALEXANDRIA, Va., Jan. 11 -- United States Patent no. 7,864,178, issued on Jan. 4, was assigned to National Instruments Corp....
US Patent Issued to Nuance Communications on Jan. 10 for "Computer-Implemented Voice Response Method Using a Dialog State Diagram to Facilitate Operator Intervention" (Japanese Inventors)
Jan 12, 2012; ALEXANDRIA, Va., Jan. 12 -- United States Patent no. 8,095,371, issued on Jan. 10, was assigned to Nuance Communications Inc....