Feasible Automata for Two-Variable Logic with Successor on Data Words

Ahmet Kara, Thomas Schwentick, Tony Tan

We introduce an automata model for data words, that is words that carry at each position a symbol from a finite alphabet and a value from an unbounded data domain. The model is (se…