Deterministic FA - define by 5-tuple
A string x is accepted if . A language L(M) is defined as
Critical notion is that for deterministic FA there is a one-to-one mapping between and Q.
Example of deterministic FA: man, wolf, goat problem^{}.
Notion that allowed states are determined by transitions.
Another example is the FA which accepts only zeros and ones.
Question regarding infinite vs. finite strings and bearing on FA. Is an infinite string a legal input to FA? Strings are of any length but must be finite.