Programming Language Theory Flashcard
How are derivations visualized?
Books
Concepts
Deckproof technique
Question
How are derivations visualized?
Answer
Derivation tree:
The root is the desired judgment.
Each node other than the root is an intermediate judgment.
All the children of a node represent its premises.