Nominal Monoids
Nominal Monoids
复制标题
标称幺半群
DOI：
--
复制
发表时间：
2013
影响因子：
0.5
通讯作者：
Mikolaj Bojanczyk
中科院分区：
文献类型：
--
作者：
Mikolaj Bojanczyk
我们发展了数据词语言的代数理论。在一定条件下，证明了一种数据词语言在一阶逻辑上是可定义的当且仅当其句法单群是非周期的。
We develop an algebraic theory for languages of data words. We prove that, under certain conditions, a language of data words is definable in first-order logic if and only if its syntactic monoid is aperiodic.