Concerto
发表于 2025-4-1 02:05:44
Decision Problems,to derive them from the Post correspondence problem (PCP) or the word problem for groups or semigroups. Unfortunately, many of the problems we encounter with reduction systems turn out to be undecidable, even when we take STSs, for instance, the innocent looking question of minimality of a string.
BLAND
发表于 2025-4-1 08:14:21
http://reply.papertrans.cn/31/3067/306671/306671_62.png
urethritis
发表于 2025-4-1 11:29:25
http://reply.papertrans.cn/31/3067/306671/306671_63.png