69
правок
Изменения
Нет описания правки
{{Определение
|definition =
Ситуации хранятся в множествах <tex>D_0,...,D_{n-1}</tex>, называемых спиками ситуаций. Причем наличие ситуации <tex>[A \rightarrow \alpha \cdot \beta , i]</tex> в <tex>j</tex>-м списком списке ситуаций <tex>D_j</tex> равносильна равносильно тому, что
<tex>\exists \delta \in \Sigma \cup N : ((S' \Rightarrow^* w_0...w_{i-1} A \delta) \wedge A \Rightarrow^* w_i...w_{j-1})</tex>
}}
