barium-study
发表于 2025-4-1 04:02:28
Post Correspondence Problem and Small Dimensional Matricese Post Correspondence Problem. The presentation is based on the article Halava et al. “Undecidability bounds for integer matrices using Claus instances” (Internat. J. Foundations of Comput. Sci. 18, 2007, 931–948).
patriot
发表于 2025-4-1 09:01:23
Size Complexity of Two-Way Finite Automataall its early history, and introduce some of the concepts used in its study. We then sketch a possible future, describe a natural systematic way of pursuing it, and record some of the progress that has been achieved. We add little to what is already known—only exposition, terminology, and questions.
promote
发表于 2025-4-1 13:32:22
Matrix Mortality and the Černý-Pin Conjecture{.,.}.. For the subclass of automata whose transition monoids have the property that each regular -class is a subsemigroup, we give a tight bound on lengths of reset words for synchronizing automata thereby answering a question of Volkov.
环形
发表于 2025-4-1 15:12:57
http://reply.papertrans.cn/28/2703/270234/270234_64.png