1 ôÕÔ ÐÏËÁÚÁÎÏ ÄÌÑ ÎÅËÏÔÏÒÙÈ ÔÅÒÍÉÎÏ×, ËÁË ÔÅ ÖÅ ÓÁÍÙÅ ÉÌÉ ÒÏÄÓÔ×ÅÎÎÙÅ
2 ÐÏÎÑÔÉÑ ÎÁÚÙ×ÁÌÉÓØ × ÎÅËÏÔÏÒÙÈ ÄÒÕÇÉÈ ÒÁÂÏÔÁÈ.
5 \item[ÓÅÍÁÎÔÉÞÅÓËÉÅ ÐÏÓÔÕÌÁÔÙ
]:
6 ÏÇÒÁÎÉÞÅÎÉÑ
\cite{kurs4
}, assumptions
\cite{KA-complexity
},
7 hypotheses
\cite{KAT-elimination
}, premises
\cite[Introduction
]{KAT-elimination
};
8 \item[ÂÁÚÏ×ÙÅ ÏÐÅÒÁÔÏÒÙ
]: atomic actions, primitive
9 actions
\cite{KAT-complete-decidable
};
10 basic actions
\cite{ciaa-commut-monot
};
11 \item[ÂÁÚÏ×ÙÅ ÔÅÓÔÙ
]: atomic tests,
12 primitive tests
\cite{KAT-complete-decidable
};
13 basic predicates
\cite{ciaa-commut-monot
};
14 \item[ÁÔÏÍÙ (ÁÌÇÅÂÒÙ ÔÅÓÔÏ×)
]: ÕÓÌÏ×ÉÑ
\cite{kurs4
}, conditions
15 \cite{ciaa-commut-monot
};
16 \item[ÎÁÓÙÝÅÎÎÁÑ ÓÔÒÏËÁ
] : guarded string
\cite{AGS
};
17 \item[ÐÏ×ÅÄÅÎÉÅ Á×ÔÏÍÁÔÁ
] \cite{inductive-*-Sr
}:
18 ÚÎÁÞÅÎÉÅ Á×ÔÏÍÁÔÁ (Õ ÎÁÓ);
19 \item[Á×ÔÏÍÁÔÎÏÅ ×ÙÒÁÖÅÎÉÅ
] (Õ ÎÁÓ): ×ÙÒÁÖÅÎÉÅ ÐÏ×ÅÄÅÎÉÑ Á×ÔÏÍÁÔÁ (Õ ÎÁÓ);
22 ÷ ÒÁÚÎÙÈ ÒÁÂÏÔÁÈ ÓÌÏ×Á
\emph{Á×ÔÏÍÁÔÎÙÊ
},
23 \emph{ÒÁÓÐÏÚÎÁ×ÁÅÍÙÊ
},
\emph{ÒÅÇÕÌÑÒÎÙÊ
},
24 \emph{ÒÁÃÉÏÎÁÌØÎÙÊ
} ÐÏ ÏÔÎÏÛÅÎÉÀ Ë ÍÎÏÖÅÓÔ×ÁÍ (ÜÌÅÍÅÎÔÁÍ ÍÏÄÅÌÅÊ, ÎÁ
25 ËÏÔÏÒÙÈ ÉÎÔÅÒÐÒÅÔÉÒÕÀÔÓÑ ÒÅÇÕÌÑÒÎÙÅ ×ÙÒÁÖÅÎÉÑ É Á×ÔÏÍÁÔÙ) ÉÓÐÏÌØÚÕÀÔÓÑ
26 ÐÏ-ÒÁÚÎÏÍÕ É ÓÏÏÔÎÏÓÑÔÓÑ ÄÒÕÇ Ó ÄÒÕÇÏÍ ÐÏ-ÒÁÚÎÏÍÕ. îÁÛ ×ÙÂÏÒ
27 ÔÅÒÍÉÎÏÌÏÇÉÉ ÎÅÏÂÑÚÁÔÅÌØÎÏ ÌÕÞÛÉÊ.
31 %%% TeX-master: "main"