用小型网格自动机表示一个 P 完全问题
计算复杂性
2009-06-18 v1 形式语言与自动机理论
摘要
电路值问题的一个受限情形，即顺序 NOR 电路值问题，最近被用于构造表示 P 完全语言的连接文法、布尔文法和语言方程的极其简洁的实例（Okhotin, http://dx.doi.org/10.1007/978-3-540-74593-8_23 "A simple P-complete problem and its representations by language equations", MCU 2007）。本文提出了同一问题的一种新编码，并构造了一个具有 11 个状态来解决该问题的网格自动机（单向实时元胞自动机）。
引用
@article{arxiv.0906.3208,
title = {Representing a P-complete problem by small trellis automata},
author = {Alexander Okhotin},
journal= {arXiv preprint arXiv:0906.3208},
year = {2009}
}