The maximum order of an element of a finite symmetric group
American Mathematical Monthly
The state complexities of some basic operations on regular languages
Theoretical Computer Science
On the power of quantum finite state automata
FOCS '97 Proceedings of the 38th Annual Symposium on Foundations of Computer Science
Errata to: "finite automata and unary languages"
Theoretical Computer Science
Complementing two-way finite automata
Information and Computation
On the State Complexity of Operations on Two-Way Finite Automata
DLT '08 Proceedings of the 12th international conference on Developments in Language Theory
Theoretical Computer Science
The state complexity of L2 and Lk
Information Processing Letters
Unambiguous finite automata over a unary alphabet
MFCS'10 Proceedings of the 35th international conference on Mathematical foundations of computer science
Describing periodicity in two-way deterministic finite automata using transformation semigroups
DLT'11 Proceedings of the 15th international conference on Developments in language theory
Unambiguous finite automata over a unary alphabet
Information and Computation
State Complexity of Union and Intersection for Two-way Nondeterministic Finite Automata
Fundamenta Informaticae - Theory that Counts: To Oscar Ibarra on His 70th Birthday
Hi-index | 0.00 |
The paper determines the number of states in a two-way deterministic finite automaton (2DFA) over a one-letter alphabet sufficient and in the worst case necessary to represent the results of the following operations: (i) intersection of an m-state 2DFA and an n-state 2DFA requires between m + n and m + n + 1 states; (ii) union of an m-state 2DFA and an n-state 2DFA, between m+ n and 2m+ n + 4 states; (iii) Kleene star of an n-state 2DFA, (g(n) + O(n))2 states, where g(n) = e√nln n(1+o(1)) is the maximum value of lcm(p1, . . . , pk) for Σ Pi ≤ n known as Landau's function; (iv) k-th power of an n-state 2DFA, between (k - 1)g(n) - k and k(g(n) + n) states; (v) concatenation of an m-state and an n-state 2DFAs, e(1+o(1)) √(m+n) ln(m+n) states.