Go backward to The Transition RulesGo up to TopGo forward to Examples of Derivation Trees |

- Immediate derivative of
*E*- Pair (
`alpha`,*E'*) *E*->^{alpha}*E'**E'*is`alpha`-derivative of*E*

- Pair (
- Derivative of
*E*- Pair (
`alpha`..._{1}`alpha`,_{n}*E'*) *E*->_1 ...->^{alpha}_n^{alpha}*E'**E'*is (`alpha`..._{1}`alpha`-)derivative of_{n}*E*

- Pair (
- Derivation tree of
*E**E*..._{11}/ _11^{alpha}*E*_{1}/ _1^{alpha}\ _12^{alpha}*E**E*..._{12}\ _2^{alpha}*E*_{2}...

Author: Wolfgang Schreiner

Last Modification: June 8, 1998