有限语言基本操作的不完全转换复杂度

摘要:有限语言上的基本操作(考虑完整的确定性有限自动机)的状态复杂性已在文献中进行了研究。在本文中,我们研究了布尔运算、连接、星号和反转在不完整(确定性)状态和转换复杂性上的有限语言。对于所有操作,我们都给出了描述度量的严格上界。我们纠正了针对完整的确定性有限自动机连接操作的已发表状态复杂性,并为右自动机大于左自动机的情况提供了一个严格的上界。对于所有二元操作,使用带有可变字母表大小的家族语言证明了紧密性。一般来说,操作复杂性不仅取决于操作数的复杂性,而且取决于其他细致的度量。

作者:Eva Maia and Nelma Moreira and Rog''erio Reis

论文ID:1302.0750

分类:Formal Languages and Automata Theory

分类简称:cs.FL

提交时间:2013-02-05

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