Seol mar théacs é seo: Foundations of computation theory :