It's kind of spooky that this actually makes sense to me:
A deterministic finite automaton is a structure
M = (Q, E, d, s, F) where
- Q is a finite set, the states
- E is a finite set, the input alphabet
- d : Q X E -> Q is the transition function that maps each of the possible combinations of (state, input) pairs to a state.
- s is a member of Q and
( Read more... )