MyWikiBiz, Author Your Legacy — Friday September 27, 2024
Jump to navigationJump to search
312 bytes added
, 15:20, 8 January 2009
Line 1,364: |
Line 1,364: |
| |} | | |} |
| | | |
− | <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'. | + | {| align="center" cellpadding="8" width="90%" |
| + | | <math>W ::> W'.\!</math> |
| + | |} |
| | | |
| + | <pre> |
| 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 |