Míreanna comhchosúla: Theory of computation