Skip to content

Context sensetive languages

Often denoted as “CSL” or “CSG”.

Context sensetive languages correspond to:

  • Linear bounded automata (LBA)
  • Type 1 Chomsky grammar

Closure properties

TODO

Decidability

TODO

Pumping lemma

TODO