There is no complete axiom system for shuffle expressions
There is no complete axiom system for shuffle expressions
复制标题
洗牌表达式没有完整的公理系统
DOI：
10.1051/ita:1999117
复制
发表时间：
1999
期刊：
影响因子：
--
通讯作者：
Andrzej Szepietowski
中科院分区：
文献类型：
--
作者：
Andrzej Szepietowski
在本文中，我们表明，无论是一套所有的有效方程之间的洗牌表达式，也不是一套模式的有效方程是递归可重。因此，这两个集合都不能由任何公理系统递归生成。
In this paper we show that neither the set of all valid equations between shuffle expressions nor the set of schemas of valid equations is recursively enumerable. Thus, neither of the sets can be recursively generated by any axiom system.