getFiniteStrings
fun getFiniteStrings(a: Automaton, s: Int, pathstates: MutableSet<Int>, strings: MutableSet<IntsRef>, path: IntsRefBuilder, limit: Int): Boolean
Returns the strings that can be produced from the given state, or false if more than limit strings are found. limit<0 means "infinite".