(左)理想正则语言的同步自动机表示

摘要:同步自动机和Cerny猜想的语言理论方法,我们在一系列最近的论文中介绍。我们找到了一个主理想语言复位复杂度的精确下界。此外,我们展示了主左理想和同步自动机之间的严格联系。我们刻画了最小确定性有限自动机是同步的,并具有属于识别的语言的复位词的正则语言。

作者:Marina Maslennikova, Emanuele Rodaro

论文ID:1412.6767

分类:Formal Languages and Automata Theory

分类简称:cs.FL

提交时间:2014-12-23

PDF 下载: 英文版 中文版pdf翻译中