DFSA definition:
< q0, QF, Q, V, D >
q
0
:
in Q, start state
Q
f
:
subset of Q, set of final states
Q:
finite set of states
V:
finite vocabulary of terminal symbols
D:
transition function D from Q and V to Q, D: Q,V -> Q
DFSA for a
*
b as transition matrix:
q
0
:
Q
f
:
D:
Note: The field entries can be re-defined as desired with multi-character symbols (e.g. "very very very good"), but the maximum transition matrix size is currently fixed at 4
x
3.