Bifix-、Factor- 与 Subword-Free 正则语言的商复杂度
形式语言与自动机理论
2011-05-13 v3
摘要
若语言 L 满足：每当字 u 和 v 属于 L 且 u 是 v 的前缀时，必有 u=v，则称 L 为前缀无关的。后缀无关、因子无关与子字无关语言的定义类似，其中“subword”意为“子序列”。若一个语言既是前缀无关的又是后缀无关的，则称其为 bifix-free 的。我们研究 bifix-free、factor-free 与 subword-free 正则语言类中运算的商复杂度（更通用的名称为状态复杂度）。我们求出了这三类语言在交集、并集、差集、对称差集、连接、星与反转运算上的商复杂度紧上界。
引用
@article{arxiv.1006.4843,
title = {Quotient Complexity of Bifix-, Factor-, and Subword-Free Regular Languages},
author = {Janusz Brzozowski and Galina Jirásková and Baiyu Li and Joshua Smith},
journal= {arXiv preprint arXiv:1006.4843},
year = {2011}
}
备注
24 pages, 11 figures in .eepic format, 2 tables, llncs.cls style file. This version contains several new results, and Baiyu Li has been added as a co-author