群集上元胞自动机的伊甸园定理
群论
2016-09-06 v2 形式语言与自动机理论
摘要
我们证明了在具有有限稳定化子的右顺从左齐次空间上，具有有限状态集和有限邻域的元胞自动机的伊甸园定理。该定理指出，此类自动机的全局转换函数是满射的，当且仅当它是预单射的。预单射性意味着，两个至多在有限子集上不同且在全局转换函数下具有相同像的全局构型必须是相同的。
引用
@article{arxiv.1603.07272,
title = {The Garden of Eden Theorem for Cellular Automata on Group Sets},
author = {Simon Wacker},
journal= {arXiv preprint arXiv:1603.07272},
year = {2016}
}
备注
arXiv admin note: text overlap with arXiv:1603.06460