You will first see how the paper divides into four main areas: CFG/CNF, CYK and CFG-to-PDA, Turing machines and context-free classification, and Pumping Lemma proofs.

You will spend about 20–25 minutes trying one exam-style task from each area without help. The tutor will wait until the diagnostic is complete before teaching or correcting anything.

You will rate each area green, amber, or red and identify the exact reason for any difficulty: missing recall, incorrect procedure order, notation, incomplete justification, or an execution slip. Worked material will be used only afterwards.

You will be recommended either the timed-paper session or only the repair sessions matching your amber and red areas. The recommendation will consider the marks at risk and the time you have, but you will choose the route.

You will begin a double-sided A4 sheet containing only useful procedures, invariants, and personal error traps revealed by the diagnostic.