Go backward to The Transition Rules
Go up to Top
Go forward to Examples of Derivation Trees
Derivatives and Derivation Trees
- Immediate derivative of
- Pair (alpha, )
- ->
- is alpha-derivative of
- Derivative of
- Pair (alpha...alpha, )
- ->_1 ...->_n
- is (alpha...alpha-)derivative of
- Derivation tree of
| | | | ... |
| | | /_11 |
| | |
| /_1 | | \_12 |
| | | | ... |
| \_2 |
| | | ... |
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: ccs1.tex,v 1.1 1996/06/05 15:04:53 schreine Exp schreine