Models of Computation MT23, Regular languages