Примеры неразрешимых задач: однозначность грамматики

Теорема:

Не существует алгоритма определяющего по произвольной грамматике является ли она однозначной.