Table of Contents: '; “... of context-free languages -- Introduction to Turing machines -- Undecidability -- Intractable problems...”