В докладе будет изложено сведение задачи проверки равенства регулярного языка и языка однозначной контекстно-свободной грамматики к задаче проверке существования общего решения у двух систем функциональных уравнений. Вторая задача разрешима алгоритмом Тарского, в силу чего разрешима и исходная задача. Также будет показано, что получаемая в результате сведения экземпляры задачи обладает свойствами, позволяющими решать ее на полиномиальной памяти, а в случае линейных грамматик -- за полиномиальное время.