Seol mar théacs é seo: Wieso können Automaten rechnen?