Taylor R. Models of Computation and Formal Languages 1997