Определение. Доказательство окончено

Доказательство окончено.

Следовательно, между образцами, рассматриваемыми с точностью до именования переменных, и множествами применений образцов существует взаимно однозначное соответствие.

Семейство слов в основном алфавите { ₁,..., _r } называется согласованным применением образцов t ₁,..., t_r, если найдется такая подстановка Q для всех различных символов переменных в этих образцах, что " i = 1,..., r (t _i Q = _i). То есть если все эти слова получаются из соответствующих им образцов с помощью одного и того же уточнения входящих в них одинаковых символов переменных.

Продукцией называется запись вида p = , где t ₁,..., t _{n +1} - некоторые образцы.

В продукции p образцы t ₁,..., t _n образуют посылки, а t _{n+ 1} - заключение.

Продукция p, множество посылок которой является пустым, называется аксиомой.

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

Дата добавления: 2015-03-31