Context-sensitive Languages
PPT Slide
Linear Bounded Automata
Using Multiple “Tracks”
Context-sensitive Membership Test
Turing Machines
Turing Transducers
Unary Representation of Nat
Recursive Functions
RASP Model
Turing Recognizers & Grammars
A Universal Turing Machine
Decision Problems
Post’s Correspondence Problem
Email: fleck@cs.uiowa.edu
Home Page: http://www.cs.uiowa.edu/~fleck
Download presentation source