PROPERTIES
- a string is said to be accepted by an FA
,
for example, aabb is accepted by the FA C in the previous foil.
- deterministic and nondeterministic
- FA with output
-
Mealy machine (output associated with transition)
-
Moore machine (output associated with state)