Theory of Computation - Hierarchy Theorem's.