#theoryofcomputation #toclectures #pdaexamples