简化非确定有限覆盖自动机
摘要：确定性有限覆盖自动机（DFCA）的概念在WIA'98中引入，作为比确定性有限自动机（DFA）更紧凑的表示方法，适用于有限语言。在某些表示有限语言的情况下，非确定性有限自动机（NFA）可以显著减少使用的状态数。结合使用覆盖语言和非确定性表示有限语言的简洁性的能力已被提出，但从未进行系统研究。在本文中，针对非确定性有限覆盖自动机（NFCA）和l-非确定性有限覆盖自动机（l-NFCA），我们证明了最小化可以像对正则语言的NFA进行最小化一样困难，即使在使用一元字母表的NFCAs的情况下也是如此。此外，我们展示了如何调整用于简化NFA / DFCAs / l-DFCAs大小的方法，以简化NFCAs / l-NFCAs。
作者：Cezar C^ampeanu (The University of Prince Edward Island)
论文ID：1405.5601
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2014-05-23