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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.