The paper investigates the effect of basic language-theoretic operations on the number of states in two-way deterministic finite automata (2DFAs). If m and n are the number of states in the 2DFAs recognizing the arguments of the following operations, then their result requires the following number of states: at least m+n−o(m+n) and at most 4m+n+const for union; at least m+n−o(m+n) and at most m+n+1 for intersection; at least Ω(mn)+2Ω()log⁡m and at most 2mm+1⋅2nn+1 for concatenation; at least 1n2n2−1 and at most 2O(nn+1) for Kleene star, square and projections; between n+1 and n+2 for reversal; exactly 2n for inverse homomorphisms. All results are obtained by first establishing high lower bounds on the number of states in any 1DFAs recognizing these languages, and then using these bounds to reason about the size of any equivalent 2DFAs.

Original languageEnglish
Pages (from-to)36-63
Number of pages28
JournalInformation and Computation
Volume253
Issue number1
DOIs
StatePublished - 1 Apr 2017

    Research areas

  • Descriptional complexity, State complexity, Two-way automata

    Scopus subject areas

  • Theoretical Computer Science
  • Information Systems
  • Computer Science Applications
  • Computational Theory and Mathematics

ID: 7745057