2022SP_Adv. Theory of Comp. Section A

Automata theory; formal languages; Turing machines; computability theory; reducibility, computational complexity, determinism, NP completeness, selected advanced topics.