ОПРЕДЕЛЕНИЕ. Слово n+1 в алфавите (A È V) выводится из слов 1,
Слово
В пределах одной продукции одинаковые символы переменных понимаются одинаково и при всяком применении продукции заменяются одинаково. Процесс получения слова Если продукция является аксиомой, то любое применение её заключения безусловно выводимо и может применяться в дальнейших рассуждениях или вычислениях. Одинаковые символы переменных в различных продукциях не связаны между собой. Пусть p - продукция, заключение которой содержит переменную, не входящую ни в одну из посылок. Тогда из всякой согласованной последовательности применений посылок этой продукции может выводиться бесконечно много различных применений её заключения, в которых по-разному уточняется смысл переменной, входящей только в заключение. Упражнение. Пусть основной и вспомогательный алфавиты состоят из символов 0 и 1, а алфавит переменных состоит из символов x, y. Привести пример продукции p =
|
n+ 1 в алфавите (A È V) выводится из слов 
1,..., 
, если существует такая подстановка Q, содержащая все различные символы переменных, входящих в образцы t 1,..., t n + 1, что " i = 1,..., n + 1 (t i Q = 
