748
правок
Изменения
Нет описания правки
<tex>\gamma \vDash \delta</tex> по <tex>R_i</tex> , если слово <tex>\delta</tex> получается путем подстановки <tex>\beta_i</tex> вместо какого-то вхождения <tex>\alpha_i</tex> в <tex>\gamma</tex>.
Вывод <tex>\beta</tex> из <tex>\alpha</tex> — цепочка <tex>\alpha\vDash\epsilon_1\vDash\epsilon_2\vDash .. \ldots \vdash\beta</tex>, где каждое <tex>\epsilon_j</tex> получается из <tex>\epsilon_{j-1}</tex> некоторой подстановкой.
{{Теорема
