ETH6d ago路also CRRC Zhuzhou Institute, Robotics and Perception Group, Shenzhen International Center for Industrial, Shenzhen Research Institute of Big Data +2
A single minimal infinite-state tool can elevate finite-precision models to Turing completeness, while finite-state tools add virtually no expressivity.