A Faster Fully Polynomial-Time Randomized Approximation Scheme (FPRAS) for Counting the Number of Strings Accepted by a Non-Deterministic Finite Automaton (NFA)

The authors present a faster fully polynomial-time randomized approximation scheme (FPRAS) for the #NFA problem, which is to determine the size of the set of words of a given length accepted by a non-deterministic finite automaton (NFA). The new FPRAS significantly improves the time complexity compared to the previous state-of-the-art FPRAS.