Abstract
We strengthen a previously known connection between the size complexity of two-way finite automata ([InlineEquation not available: see fulltext.]) and the space complexity of Turing machines (tms). Specifically, we prove that Here, [InlineEquation not available: see fulltext.] and [InlineEquation not available: see fulltext.] are the deterministic and nondeterministic [InlineEquation not available: see fulltext.], NL and L/poly are the standard classes of languages recognizable in logarithmic space by nondeterministic tms and by deterministic tms with access to polynomially long advice, and NLL and LL/polylog are the corresponding complexity classes for space O(loglogn) and advice length poly(logn). Our arguments strengthen and extend an old theorem by Berman and Lingas and can be used to obtain variants of the above statements for other modes of computation or other combinations of bounds for the input length, the space usage, and the length of advice.
Published Version
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call