Звёздочка

Множество А* — это набор всех конечных протоколов (включая <>), составленных из элементов множества А. После сужения на А такие протоколы остаются неизменными, Отсюда следует простое определение:

А* = {s | (sA) = s}.

Приведенные ниже законы являются следствиями этого определения:

L1.<> А*.

L2.<x> А* ºx А.

L3.(s^t) А* ºs А* AND t А*.

Они обладают достаточной мощностью, чтобы определить, принадлежит ли протокол множеству А*. Например, если х А, а y А, то

<x, y> А*º(<x>^<y>) А*

º(<x> А*) AND(<y> А*) по L3

º TANDF = Fпо L2.








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


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

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

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

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