4 ms·Finite State Automata, Binary Decision Diagrams and Presburger Arithmetic2 points by bdr 18y ago