Re: categories and linguistic?

Charles Wells wrote:

Linguists use the word "category" to mean what computer scientists would call a variable symbol in a context-sensitive grammar.

My corpus callosum must be having a denial of service. Since the languages generated by context-sensitive languages coincide with those accepted by linear-bounded automata, there must be some connection between categories and linear-bounded automata. What is it? Vaughan Pratt [For admin and other information see: http://www.mta.ca/~cat-dist/ ]