DFA examples