РЕШЕНИЕ ЗАДАЧ В ПРОДУКЦИОННЫХ

СИСТЕМАХ

Задачи, которые можно решать получать с помощью систем Поста, естественно связаны с множествами слов, выводимых в этих системах.

Простейший вопрос, который можно отнести к системе P - это вопрос о принадлежности конкретного слова множеству слов W _P, выводимых в P. Такой вопрос записывается в виде:

″ ÎW _P ″?

Ответом на него может быть только либо нет, либо да.

Естественный процесс поиска правильного ответа на этот вопрос состоит в нахождении вывода слова в системе P.

При этом если существует такой вывод W, то он может быть найден последовательным перебором всех конечных выводов в системе P.

Если же такой вывод отсутствует, а значит, слово является невыводимым, то переборный алгоритм не позволяет получить ответ " нет" и поиск отрицательного ответа должен осуществляться другими методами.

Обобщение рассмотренного типа задач, решаемых системами Поста, - это задачи, связанные с вопросом о выводимости в системе P слов, являющихся применениями заданного образца.

Для заданного образца t требуется получить ответ на вопрос о существовании такой подстановки Q, что t Q ÎW _P.

Поскольку W _P может содержать несколько различных применений t, то возможны несколько вариантов уточнения данного типа вопроса:

1) найти любое применение t, выводимое в системе P;

2) перечислить все применения t, выводимые в системе P;

3) найти применения t, обладающие дополнительным свойством.

Ответы на перечисленные варианты вопроса естественно представлять в виде последовательностей таких подстановок, что применение подстановки к t дает один из элементов ответа на вопрос.

Если же ни одно применение t не выводимо в системе Поста P, то ответом на поставленный вопрос является нет.

Как и в предыдущем случае, естественный алгоритм перебора всех конечных выводов в системе P не позволяет получить отрицательный ответ.

Не нашли, что искали? Воспользуйтесь поиском: