#同步自动机

这篇论文用线性代数给出了Černý猜想的一个紧上界，并构造了例子证明最优，对自动机理论很关键。