determinization determinize determinizing determinized Kleene memoization non-normalizable non-simplifiable normalizable nucleobase nucleobases quantile recompute recomputing semiring simplifiable Tarjan's trie unnormalized False False False False