- [[theory of computation]] - [[computational complexity theory]] - [[algorithm]] - [[data structure]] - [[form]]al language - [[semantic]] # sources - [[COMPSCI 121]] and [[2023BarakIntroductionTheoreticalComputer]]