This subsection focuses on the classical computational ideas and formal models needed before the quantum setting is introduced.
Use the sequence below as the local map for this branch. Keep these models close to the later quantum generalizations instead of treating them as unrelated preliminaries.