Context-Sensitive Grammars & Linear Bounded Automata

Question 1

When is a grammar context-sensitive? When is a language context-sensitive?

Answer 1

Question 2

What is linear bounded automaton (LBA)?

Answer 2

Question 3

Proof that you can go from Context-Sensitive Grammar to LBA.

Answer 3

Question 4

Proof that you can go from LBA to Context-Sensitive Grammar.

Answer 4

Question 5

What are the 7 basic properties of Context-Sensitive languages?

Answer 5

Question 6

Proof that Context-sensitive languages are recursive.

Answer 6

Question 7

Proof that not every context-sensitive language is recursive.

Answer 7