Index of concepts for Week 02

• base case (mathematical induction)
• BNF
• command (syntactic unit)
• completeness
• errors (syntax)
• evaluator
• expression (syntactic unit)
• expressions
• expressions (regular)
• extension vs. intension
• Factorial imperative program
• Factorial logic program
• Factorial relation
• Factorial rewriting program
• function (computable)
• function (uncomputable)
• goal
• goal (sub-)
• halting predicate (the)
• halting problem (the)
• to implement
• induction hypothesis (mathematical induction)
• induction (mathematical)
• induction step (mathematical induction)
• induction (structural, for natural numbers)
• intension vs. extension
• isomorphism
• Murphy’s law
• onions (grammar)
• parser
• parsing
• partial evaluation
• partial evaluator
• Peano numbers
• programming (functional)
• programming (imperative)
• programming (logic)
• programs (equivalence of)
• programs (meaning of)
• regular expressions (abstract-syntax trees)
• regular expressions (BNF of)
• regular expressions (proof trees)
• representation (soundness of a)
• rewriting
• shallots (grammar)
• S-m-n (function)
• S-m-n (theorem)
• soundness
• specializing an interpreter
• specializing a program
• specializing a specializer
• specializing a specializer (with respect to an interpreter)
• specializing a specializer (with respect to a specializer)
• syntax (abstract)
• syntax (concrete)
• tree (abstract syntax)
• tree (proof)
• unparser
• unparsing
• Von Neumann (architecture)
• is zero a natural number?

Version

Added the entry about zero [12 Mar 2023]

Created [10 Jan 2023]