2
给定的常规语言是否包含无限的无前缀子集？
在有限字母表A单词集合是无前缀如果没有两个不同的话，其中一个是另一个的前缀。 问题是： 检查作为NFA给出的常规语言是否包含无限的无前缀子集的复杂性是什么？ 答案（由于米哈伊尔·鲁迪（Mikhail Rudoy），在下面）：可以在多项式时间内完成，而且我认为甚至在NL中也可以。 解释米哈伊尔的答案，令为标准形式的输入NFA（无epsilon过渡，修整），令（分别为）是通过将状态作为初始状态并将作为最终状态（分别将状态作为初始值和作为最终状态）获得的语言。对于单词让是通过迭代获得的无限单词。（Σ ，q 0，˚F ，δ ）(Σ,q0,F,δ)(\Sigma,q_0,F,\delta)大号[ p ，- [R ] L[p,r]L[p,r]大号[ p ，- [R ] L[p,R]L[p,R]p pp{ - [R } {r}\{r\}p pp- [R RRù uuù ωuωu^\omega ùuu 以下是等效的： 语言包含无限的无前缀子集。L [ q 0，F ]L[q0,F]L[q_0,F] ∃ q ∈ Q∃q∈Q\exists q \in Q，因此不是的前缀。∃ ü ∈ 大号[ q ，q ] …