AUTOMATA THEORY IN NOMINAL SETS
AUTOMATA THEORY IN NOMINAL SETS
复制标题
DOI：
10.2168/lmcs-10(3:4)2014
复制
发表时间：
2014-01-01
影响因子：
0.6
通讯作者：
Lasota, Slawomir
中科院分区：
文献类型：
--
作者：
Bojanczyk, Mikolaj;Klin, Bartek;Lasota, Slawomir
我们研究的语言在无限的字母配备了一些结构，可以通过识别自动机测试。我们开发了一个框架，用于研究这样的字母表和随后的自动机理论，其中的关键作用是由字母表的自同构群。在这个过程中，我们推广了Gabbay和Pitts的名义集。
We study languages over infinite alphabets equipped with some structure that can be tested by recognizing automata. We develop a framework for studying such alphabets and the ensuing automata theory, where the key role is played by an automorphism group of the alphabet. In the process, we generalize nominal sets due to Gabbay and Pitts.