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

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

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

 








Дата добавления: 2015-09-18; просмотров: 608;


Поиск по сайту:

При помощи поиска вы сможете найти нужную вам информацию.

Поделитесь с друзьями:

Если вам перенёс пользу информационный материал, или помог в учебе – поделитесь этим сайтом с друзьями и знакомыми.
helpiks.org - Хелпикс.Орг - 2014-2024 год. Материал сайта представляется для ознакомительного и учебного использования. | Поддержка
Генерация страницы за: 0.005 сек.