通过关系编程构造有限自动机
On Constructing Finite Automata by Relational Programming
AI总结：
针对博弈程序需以可被代数工具分析的低级数学格式表示的需求，提出用关系编程工具构造能实现给定输入输出对集合的最小转换器，解决经典有限状态自动机优化技术不适用的问题。
摘要：
我们研究为给定的输入词与输出符号对集合构造转换器的方法。这一研究的动机是需要将博弈程序以可被代数工具分析的低级数学格式表示。这与有限状态自动机的经典应用不同，因此常用的优化技术无法直接适用。为此，我们使用关系编程工具寻找能实现给定输入输出对集合的最小转换器。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
