Cypher is Turing-Complete: A Formal Proof via 2-Counter Machine Simulation
计算复杂性
2026-05-20 v1 形式语言与自动机理论
计算机科学中的逻辑
编程语言
摘要
We prove that Cypher 25, the graph query language of Neo4j, is Turing-complete. The proof shows that a single RETURN statement using reduce(), CASE expressions, and list comprehensions can simulate any 2-counter machine (Minsky 1967). We address the bounded-step objection via two complementary resolutions and present a third graph-native simulation using quantified path patterns (QPP) with allReduce. All three constructions were verified on a live Neo4j Aura instance.
引用
@article{arxiv.2605.18757,
title = {Cypher is Turing-Complete: A Formal Proof via 2-Counter Machine Simulation},
author = {Pierre Halftermeyer},
journal= {arXiv preprint arXiv:2605.18757},
year = {2026}
}
备注
Submitted to the GRADES-NDA 2026 workshop (collocated with SIGMOD). Preprint available on HAL