Tape-Bounded Turing Acceptors and AFLs (1970)

by Timeand
Venue:Journal of Computer and System Sciences