[[Notes - Models of Computation MT23, NFAs]]U [[Notes - Models of Computation MT23, Regular expressions]]U