02.04 Scanning: DFA implementation