We prove: (1) every language accepted by a two-way nondeterministic pushdown automaton can be recognized on a random access machine in O(n3/log n) time; (2) every language accepted by a loop-free two-way nondeterministic pushdown automaton can be recognized in O(n3/log2 n) time; (3) every context-free language can be recognized on-line in O(n3/log2 n) time. We improve the results of Aho, Hopcroft, and Ullman (Inform. Contr. 13, 1968, 186–206), Rytter (Inform. Process. Lett. 16, 1983, 127–129), and Graham, Harrison, and Ruzzo (ACM Trans. Programm. Lang. Systems 2, No. 3, 1980, 415–462)
Limited automata are one-tape Turing machines which are allowed to rewrite each tape cell only in th...
We study the mildly context-sensitive class of languages generated by controlled linear grammars wit...
Cook has shown that any deterministic two-way pushdown automaton could be simulated by a uniform-co...
We prove: (1) every language accepted by a two-way nondeterministic pushdown automaton can be recogn...
It is known that any context-free language can be recognized in time n3 on a “random access machine”...
AbstractWe prove that every unambiguous context-free language can be recognized in O(log n) time on ...
AbstractWe give some new or improved algorithms for recognizing transductions, relations and languag...
An algorithm is presented which will determine whether any string w in Σ*, of length n, is contained...
AbstractWe look at linear cellular automata (CA's) which accept an input if and only if at some time...
In 1965 Hennie proved that one-tape deterministic Turing machines working in linear time are equival...
It is shown that (1) every context-free language is T(n) = n4-recognizable by a single-tape Turing m...
AbstractFor every pair of positive integers n and p, there is a language accepted by a real-time det...
AbstractThe amount of nondeterminism that a pushdown automaton requires to recognize an input string...
AbstractWe present a simple parallel algorithm recognizing unambiguous context-free languages on a C...
AbstractThe growing context-sensitive languages are characterized by a non-deterministic machine mod...
Limited automata are one-tape Turing machines which are allowed to rewrite each tape cell only in th...
We study the mildly context-sensitive class of languages generated by controlled linear grammars wit...
Cook has shown that any deterministic two-way pushdown automaton could be simulated by a uniform-co...
We prove: (1) every language accepted by a two-way nondeterministic pushdown automaton can be recogn...
It is known that any context-free language can be recognized in time n3 on a “random access machine”...
AbstractWe prove that every unambiguous context-free language can be recognized in O(log n) time on ...
AbstractWe give some new or improved algorithms for recognizing transductions, relations and languag...
An algorithm is presented which will determine whether any string w in Σ*, of length n, is contained...
AbstractWe look at linear cellular automata (CA's) which accept an input if and only if at some time...
In 1965 Hennie proved that one-tape deterministic Turing machines working in linear time are equival...
It is shown that (1) every context-free language is T(n) = n4-recognizable by a single-tape Turing m...
AbstractFor every pair of positive integers n and p, there is a language accepted by a real-time det...
AbstractThe amount of nondeterminism that a pushdown automaton requires to recognize an input string...
AbstractWe present a simple parallel algorithm recognizing unambiguous context-free languages on a C...
AbstractThe growing context-sensitive languages are characterized by a non-deterministic machine mod...
Limited automata are one-tape Turing machines which are allowed to rewrite each tape cell only in th...
We study the mildly context-sensitive class of languages generated by controlled linear grammars wit...
Cook has shown that any deterministic two-way pushdown automaton could be simulated by a uniform-co...