Search

• < Previous
• 1
• Next >

Context-Sensitive Languages, Rational Graphs and Determinism

We investigate families of infinite automata for context-sensitive languages. An infinite automaton is an infinite labeled graph with two sets of initial and final vertices. Its language is the set of all words labelling a path from an initial vertex to a final vertex. In 2001, Morvan and Stirling&nbsp;[&hellip;]