F
SMs.99FORMAL METHODS
| Operational Methods | Descriptive Methods |
| Generate Behaviors | Describe Properties |
| DFDs | ER Diagrams |
| Automata | Grammars |
| Finite State Machine | Regular Expressions |
| Petri-Nets | Algebraic Specifications |
| Extended State Machines | Logic |
State-Based Schemes
A. Finite State Machines
Basic Machine: (Q, I, d, q0, F)
Q = {states}, I = {symbols}, q0 e Q, F Í Q
d: Q ´ I ® Q
Gate Example
Limitations
B. Extended State Machines
Transition: G ® I/A/O
G - guard I - input A - action O - output
Gate Controller Example
Further Extensions: Concurrency, Time