Automata vs. Logics on Data Words
<p> </p><p>The relationship between automata and logics has been in- vestigated since the 1960s. In particular, it was shown how to determine, given an automaton, whether or not it is definable in first-order logic with label tests and the order relation, and for first-order logic...
| Main Authors: | , , |
|---|---|
| Format: | Conference item |
| Published: |
2010
|