有理函数递归格式
Rational functions via recursive schemes
摘要：
我们给出了一个新的表征类的有理字符串函数从形式语言理论使用保序解释相对于一个非常弱的一元程序设计语言。这通过保序MSO解释改进了有理函数的已知特征。
英文摘要：
We give a new characterization of the class of rational string functions from formal language theory using order-preserving interpretations with respect to a very weak monadic programming language. This refines the known characterization of rational functions by order-preserving MSO interpretations.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
