Questions tagged «prefix-free-code»

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 ] …
By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.