SFWR 4TB3

Course material lives under content/thoughts/university/twenty-five-twenty-six/sfwr-4tb3/. Start with the supplied question and notebook. If only a lab, assignment, or title is given, use the content index to locate it. Read the relevant cells and local module copies; assignment snapshots can differ from lecture copies.

The question, executable definitions, and test cells determine the required answer. References below are summaries and navigation aids. Verify exact APIs, error handling, translation schemes, and register conventions in the target notebook before relying on a summary. For an unavailable JupyterHub question, locate its local mirror; request the exact cells if the mirror lacks the question.

Load only the reference relevant to the task:

Topic	Reference
Course and module layout	Overview
Grammars, derivations, BNF/EBNF, generators	Syntax
Regex, automata, counted repetition	Regular languages
PDA, FIRST/FOLLOW, LL/LR	Context-free languages
Attribute grammars, ASTs, type checking	Syntax-directed translation
SC, ST, P0, error handling	Parser
WAT translation and memory layout	Stack target
Sets, floats, exceptions, indirect calls	Data types
RISC-V/MIPS and register allocation	RISC target
CSE, LICM, strength reduction	Optimization
Earley, PEG, packrat, probabilistic parsing	Generalized parsing
Lab/assignment 11 exercises	Lab 11
Choosing an approach to an exercise	Exam playbook

Preserve the notebook's signatures, AST names, notation, and module boundaries. A syntax extension may lower to existing primitives; add a new AST node only when the question or required semantics calls for one. Assignment 5's counted repetition uses repeat/repeatRange, while an exercise supplying Exp requires its own case.

For explanations, show the requested derivation, table, or code with the course's notation. For implementation requests, edit the assignment-local copy and run the relevant supplied test cells, fixing failures introduced by the change. Distinguish executed results from hand-derived output. Report missing runtimes or notebook cells precisely, and complete the reasoning that remains possible.