Регулярные языки: детерминированный конечный автомат (DFA)