🤖 AI Summary
该研究通过仅使用幂和主对数，解决了标签系统单步计算的表达问题，将离散更新转换为连续运算。
📝 Abstract
I show that one exact step of any tag system can be written as a single fixed expression using only powers and logarithms. A tag state is represented as an integer; evaluating the expression yields the integer encoding of the next configuration, and feeding the answer back into the same expression follows the computation step by step. The discrete part of the update comes from leveraging the wraparound in the principal complex logarithm, which effectively serves the same purpose as floor, mod, or sin in comparable approaches. The iterating expressions use only $x^y$ and $\log_b a$: it turns out that these two binary operations are sufficient, with no need for constants. It follows that reachability below a fixed threshold is undecidable for one fixed expression. As a separate application, the same mechanism represents addition, $2^x$, and remainder with the convention $x\bmod0=x$, and hence every Kalmár elementary function.