Slides for Weeks 1-4
Table of contents
- 1. Strings
- 2. Concrete Syntax
- 3. Arithmetic Concretely
- 4. Turtle Concretely
- 5. Loops Concretely
- 6. Arity
- 7. Tree Grammars
- 8. Left Association
- 9. Right Association
- 10. Arithmetic Abstractly
- 11. Regular Expressions
- 12. Notational Conventions
- 13. Big Step Semantics
- 14. Correct Instances
- 15. Proof Trees
- 16. Proof Tree Ex 1
- 17. Proof Tree Ex 2
- 18. Automata
- 19. Automaton Language
- 20. Regex Language
- 21. Kleene's Theorem
- 22. Derivatives
- 23. Regular Language
- 24. Nested List
- 25. Nested List Src