识别Thue系统不可约字集的有穷自动机的一个构作

摘要

本文给出了识别Ｔｈｕｅ系统不可约字集的有穷自动机的一个新的构作。