Редактирование: ВПнМ/Теормин
Материал из eSyr's wiki.
Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.
ПРЕДУПРЕЖДЕНИЕ: Длина этой страницы составляет 92 килобайт. Страницы, размер которых приближается к 32 КБ или превышает это значение, могут неверно отображаться в некоторых браузерах. Пожалуйста, рассмотрите вариант разбиения страницы на меньшие части.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 177: | Строка 177: | ||
:<math>PG_1~|||~PG_2 = \langle Loc_1 \times Loc_2, Act_1 \cup Act_2, Effect, \rightarrow, Loc_{0,1} \times Loc_{0,2}, g_{0,1} \land g_{0,2} \rangle,</math> | :<math>PG_1~|||~PG_2 = \langle Loc_1 \times Loc_2, Act_1 \cup Act_2, Effect, \rightarrow, Loc_{0,1} \times Loc_{0,2}, g_{0,1} \land g_{0,2} \rangle,</math> | ||
где отношение перехода <math>\rightarrow</math> определяется следующими правилами вывода: | где отношение перехода <math>\rightarrow</math> определяется следующими правилами вывода: | ||
- | :<math>l_1 \overset{g: | + | :<math>l_1 \overset{g:a}{\rightarrow}_1 l'_1 \over \langle l_1, l_2 \rangle \overset{g:a}{\rightarrow} \langle l'_1, l_2 \rangle</math> и <math>l_2 \overset{g:a}{\rightarrow}_2 l'_2 \over \langle l_1, l_2 \rangle \overset{g:a}{\rightarrow} \langle l_1, l'_2 \rangle,</math> |
а <math>Effect(\alpha,~\eta) = Effect_i(\alpha,~\eta),</math> если <math>\alpha \in Act_i.</math> | а <math>Effect(\alpha,~\eta) = Effect_i(\alpha,~\eta),</math> если <math>\alpha \in Act_i.</math> | ||