We investigate commutative images of languages recognised by register automata and grammars. Semi-linear and rational sets can be naturally extended to this setting by allowing for orbit-finite unions instead of only finite ones. We prove that commutative images of languages of one-register automata are not always semi-linear, but they are always rational. We also lift the latter result to grammars: commutative images of one-register context-free languages are rational, and in consequence commutatively equivalent to register automata. We conjecture analogous results for automata and grammars with arbitrarily many registers.


翻译:半线性和理性的组合可以自然地扩展至这一设置,允许轨道-无限结合,而不是仅允许有限结合。我们证明,单登记自成一体的自成一体的自成一体的语文的混合图像并不总是半线性,但总是合理。我们还将后一种结果提升为语法:单登记自成一体的不使用背景语言的通感图像是合理的,因此,与登记自成一体的自成一体的自成一体的语法相仿。我们用任意的注册方式将自成一体的自成一体的和语法的类似结果进行推断。

0
下载
关闭预览

相关内容

Alphabet is mostly a collection of companies. This newer Google is a bit slimmed down, with the companies that are pretty far afield of our main internet products contained in Alphabet instead.
abc.xyz/
专知会员服务
52+阅读 · 2020年12月14日
【Google】梯度下降,48页ppt
专知会员服务
81+阅读 · 2020年12月5日
模型优化基础,Sayak Paul,67页ppt
专知会员服务
77+阅读 · 2020年6月8日
【清华大学】图随机神经网络,Graph Random Neural Networks
专知会员服务
156+阅读 · 2020年5月26日
Fariz Darari简明《博弈论Game Theory》介绍,35页ppt
专知会员服务
112+阅读 · 2020年5月15日
Stabilizing Transformers for Reinforcement Learning
专知会员服务
60+阅读 · 2019年10月17日
已删除
将门创投
5+阅读 · 2018年11月15日
Arxiv
0+阅读 · 2021年2月5日
Learning to Weight for Text Classification
Arxiv
8+阅读 · 2019年3月28日
VIP会员
最新内容
乌克兰战场背后的新武器
专知会员服务
3+阅读 · 今天4:55
基于博弈论的陆军人机协同(长文报告)
专知会员服务
6+阅读 · 今天1:54
美国陆军航空兵:以愿景引领转型
专知会员服务
4+阅读 · 今天1:38
《多域战场上反制小型无人机系统》150页
专知会员服务
14+阅读 · 6月11日
战场人工智能:增强陆地作战能力的发现与要求
以人工智能为中心的指挥控制
专知会员服务
5+阅读 · 6月11日
相关VIP内容
专知会员服务
52+阅读 · 2020年12月14日
【Google】梯度下降,48页ppt
专知会员服务
81+阅读 · 2020年12月5日
模型优化基础,Sayak Paul,67页ppt
专知会员服务
77+阅读 · 2020年6月8日
【清华大学】图随机神经网络,Graph Random Neural Networks
专知会员服务
156+阅读 · 2020年5月26日
Fariz Darari简明《博弈论Game Theory》介绍,35页ppt
专知会员服务
112+阅读 · 2020年5月15日
Stabilizing Transformers for Reinforcement Learning
专知会员服务
60+阅读 · 2019年10月17日
相关资讯
已删除
将门创投
5+阅读 · 2018年11月15日
Top
微信扫码咨询专知VIP会员