LBA

Linear bounded automata. Can recognize Context sensetive languages.

Open questions

• How does it comapre to 2PDA?
  • 2-stack PDA can simulate TM. Is 2-way input and stack is enough to simulate LBA?