5.1 While Expressions Flashcards
1
Q
What is an integer litteral (in terms of a regex expression)
A
2
Q
What is the grammar tree for simple arithmetic expressions
A
Left associative and multiplication binds tighter
3
Q
What are the rules for the semantic relation of simple arithmetic expressions
A
4
Q
What is the semantic relation for simple arithmetic expressions
A
Maps each expression to a value
4
Q
Prove that every simple arithmetic expression is semantically an integer value
A
5
Q
What is an arithmetic expression (not simple ie vars) and the grammar tree
A
6
Q
What is the state function for arithmatic expressions
A
7
Q
What are the inductive semantic definition for deriving arithmatic expressions (including state)
A
8
Q
What is a boolean expression (grammar tree)
A
9
Q
What are boolean expressions (semantics tree)
A
