Theory of computation epfl July 8, 2019 16 32 64 128 Theory of computation language and grammar Theorem of beethoven manim