非遗忘群选择对正规性的保持
形式语言与自动机理论
2019-05-16 v1 计算机科学中的逻辑
组合数学
摘要
我们给出两种不同的证明，表明通过正则群集的非遗忘选择保持正规性。这里的非遗忘是指一个符号是否被选中可以依赖于该符号本身。一种证明依赖于正规序列的不可压缩性，另一种则依赖于增广动力系统的使用。
引用
@article{arxiv.1905.05801,
title = {Preservation of normality by non-oblivious group selection},
author = {Olivier Carton and Joseph Vandehey},
journal= {arXiv preprint arXiv:1905.05801},
year = {2019}
}