Míreanna comhchosúla: Theory of computation:(with formal languages)