Lengths of Words Accepted by Nondeterministic Finite Automata

02/13/2018
by   Aaron Potechin, et al.
0

We consider two natural problems about nondeterministic finite automata. First, given such an automaton M of n states, and a length l, does M accept a word of length l? We show that the classic problem of triangle-free graph recognition reduces to this problem, and give an O(n^ω (log n)^1+ϵ log l)-time algorithm to solve it, where ω is the optimal exponent for matrix multiplication. Second, provided L(M) is finite, we consider the problem of listing the lengths of all words accepted by M. Although this problem seems like it might be significantly harder, we show that this problem can be solved in O(n^ω(log n)^2+ϵ) time. Finally, we give a connection between NFA acceptance and the strong exponential-time hypothesis.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset