10 citations · 36 across the 15 of their papers we have counts for
1 paper · 1 filter
Arnaud Carayol, Antoine Meyer
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 la…