Showing 2026Show all
2 papers · 1 filter
cs.CC2026
Dual-Tape Perspective and Generator Independence: The Algebraic Foundation of Real Boolean Turing Machines
Jingwen Zheng, Bojin Zheng, Weiwu Wang
The Complex Boolean Turing Machine (CBTM) characterizes non-deterministic computation using the abstract generator , but the abstractness of makes it difficult to understand…
cs.CC2026
Complex Boolean Turing Machines: An Algebraic Semantic Framework for Computational Complexity
Bojin Zheng, Jingwen Zheng, Weiwu Wang
Traditional Turing machines are semantically poor, they only concern the syntactic manipulation of symbols, discarding the mathematical semantics behind the symbols. This semantic…