Changes

|}

|}

<pre>

As noted above, it is usual to express the condition <math>(X, Y) \in \mathfrak{K}</math> by writing <math>X :> Y \, \text{in} \, \mathfrak{G}.</math>

This relation is indicated by saying that W "immediately derives" W',

 

that W' is "immediately derived" from W in !G!, and also by writing:

This relation is indicated by saying that <math>W\!</math> ''immediately derives'' <math>W',\!</math> by saying that <math>W'\!</math> is ''immediately derived'' from <math>W\!</math> in <math>\mathfrak{G},</math> and also by writing:

W ::> W'.

| <math>W ::> W'.\!</math>

A "derivation" in !G! is a finite sequence (W_1, ..., W_k)

A "derivation" in !G! is a finite sequence (W_1, ..., W_k)

of sentential forms over !G! such that each adjacent pair

of sentential forms over !G! such that each adjacent pair