On Constructing Finite Automata by Relational Programming
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2025
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866929711036235776 |
|---|---|
| author | Egri-Nagy, Attila Nehaniv, Chrystopher L. |
| author_facet | Egri-Nagy, Attila Nehaniv, Chrystopher L. |
| contents | We consider ways to construct a transducer for a given set of input word to output symbol pairs. This is motivated by the need for representing game playing programs in a low-level mathematical format that can be analyzed by algebraic tools. This is different from the classical applications of finite state automata, thus the usual optimization techniques are not directly applicable. Therefore, we use relational programming tools to find minimal transducers realizing a given set of input-output pairs. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2502_08040 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | On Constructing Finite Automata by Relational Programming Egri-Nagy, Attila Nehaniv, Chrystopher L. Formal Languages and Automata Theory F.1.1 We consider ways to construct a transducer for a given set of input word to output symbol pairs. This is motivated by the need for representing game playing programs in a low-level mathematical format that can be analyzed by algebraic tools. This is different from the classical applications of finite state automata, thus the usual optimization techniques are not directly applicable. Therefore, we use relational programming tools to find minimal transducers realizing a given set of input-output pairs. |
| title | On Constructing Finite Automata by Relational Programming |
| topic | Formal Languages and Automata Theory F.1.1 |
| url | https://arxiv.org/abs/2502.08040 |