Задача по формальным языкам: дано регулярное выражение (a|b)*abb(a|b)* — постройте минимальный детерминированный конечный автомат (DFA), докажите минимальность и опишите, как тот же шаблон можно выразить в контексте контекстно-свободных грамматик; обсудите, в каких случаях регулярные выражения недостаточны для проверки корректности синтаксиса в реальных языках программирования