加载中…
2009-06-18
On the boundaries of solvability and unsolvability in tag systems. Theoretical and Experimental Results
Liesbeth De Mol
文献摘要
Several older and more recent results on the boundaries of solvability and unsolvability in tag systems are surveyed. Emphasis will be put on the significance of computer experiments in research on very small tag systems.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本