Compiler

Compiler translates into a machine State:

• Functions (and main)
• Recursive Functions
• Predefined Functions
• Local Definitions

Output: State (0,[Instructions],[],Heap [DEF <FunctionName> <Arity> <InstructionAdress>], Functions [(<FunctionName>,<HeapAdress>)])