![]() We implement our algorithms and evaluate them on 3,625 nondeterministic symbolic automata from real-world applications. Since the first two algorithms have quadratic complexity in the number of states and transitions in the automaton, we propose a third algorithm that only requires a number of iterations that is linearithmic in the number of states and transitions at the cost of an exponential worst-case complexity in the number of distinct predicates appearing in the automaton. Our second algorithm generalizes Hopcroft’s algorithm for minimizing deterministic automata. Our first algorithm generalizes Moore’s algorithm for minimizing deterministic automata. ![]() Finite automata have two states, Accept state or Reject state. At the time of transition, the automata can either move to the next state or stay in the same state. When the desired symbol is found, then the transition occurs. It takes the string of symbol as input and changes its state accordingly. In our earlier work, we proposed new techniques for minimizing deterministic symbolic automata and, in this paper, we generalize these techniques and study the foundational problem of computing forward bisimulations of nondeterministic symbolic finite automata. Finite automata are used to recognize patterns. ![]() Existing automata algorithms rely on the alphabet being finite, and generalizing them to the symbolic setting is not a trivial task. Symbolic automata allow transitions to carry predicates over rich alphabet theories, such as linear arithmetic, and therefore extend classic automata to operate over infinite alphabets, such as the set of rational numbers. ![]()
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |