This subsection focuses on formal models of computation used to compare classical and quantum processing.

This branch is kept as a stable entry point for future notes, examples, and references as the notebook grows.