No queries for www.cs.princeton.edu/courses/archive/spr01/cs126/lectures/T2-4up.pdf#search="linear bounded automata"