Finite State Machine

A broadly used method of formal specification:

? Event driven systems (e.g., games)

? User interfaces

? Protocol specification

etc., etc., ...

Previous slide

Next slide

Back to first slide

View graphic version