Лабораторные работы по теории формальных языков Алгоритм унификации Мартелли–Монтанари. Нормализация regex по пользовательским правилам переписывания. Построение коммутативного образа CFG по алгоритму Пиллинга.