paperbot · PL 论文追踪

全部论文 待读 收藏

P2 On shift-invariant maximal filters and hormonal cellular automata

论平移不变极大滤子与激素元胞自动机
LICS 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)2017匹配度 1/10 · 该论文属于逻辑与元胞自动机理论，研究平移不变极大滤子和激素元胞自动机的计算能力，与用户关注的静态分析、LLM/Agent、浮点程序分析及贝叶斯程序分析均无直接交集。引用 3 inbox
Julien Cervelle, Gregory Lafitte
逻辑与自动机
crossref: 2026-09-12dblp: 2026-09-12

AI 速览

一句话：构造 ℤ 上平移不变极大滤子，用以定义并分析带全局信息的激素元胞自动机模型。

本文研究 ℤ 上平移不变极大滤子的构造及其与激素元胞自动机的关系。激素元胞自动机是元胞自动机计算模型的一种推广，其中所有细胞共享关于全局状态的信息。作者首先设计平移不变极大滤子，以便定义这一新的计算模型；随后从不同假设出发，给出此类滤子的构造方法；最后分析由这些滤子诱导的元胞自动机模型的计算能力。

问题
研究如何在 ℤ 上构造平移不变极大滤子，并利用它为带全局状态信息的激素元胞自动机提供定义基础。
方法
从不同假设出发构造平移不变极大滤子，并据此定义激素元胞自动机模型。
评估
通过分析由所构造滤子诱导的元胞自动机模型的计算能力来评估该模型。
原文摘要（Abstract）

This paper deals with the construction of shift-invariant maximal filters on ℤ and their relation to hormonal cellular automata, a generalization of the cellular automata computation model with some information about the global state shared among all the cells. We first design shift-invariant maximal filters in order to define this new model of computation. Starting from different assumptions, we show how to construct such filters, and analyze the computation power of the induced cellular automata computation model.

链接与引用

DOI 原文 · DBLP

BibTeX 
@inproceedings{CervelleL17,
  title = {On shift-invariant maximal filters and hormonal cellular automata},
  author = {Julien Cervelle and Gregory Lafitte},
  booktitle = {LICS},
  year = {2017},
  doi = {10.1109/lics.2017.8005145}
}