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