Membership of words in Codes
スポンサーリンク
概要
- 論文の詳細を見る
符号Lに対して、以下の3つの問題を考える。(p1)すべてのn≥2に対して、ω^n⋴L^nおよびω^<n+1>⋴L^<n+1>ならばω⋴L.(P2)すべてのn≥2に対して、ω^n⋴L^nならばω⋴L.(P3)すべてのm, k≥2, m≤k, に対して、ω^k⋴L^mならばω⋴L.まず、Lが符号ならば、P1が成り立つことを示す。すべてのinfix符号に対しP2が成り立つこと、および符号Lがinfix符号であるための必要十分条件は、Lに対してP2が成り立ちかつ、Lがω-infix符号であることを示す。最後に, すべてのs-infix符号に対してP3が成り立つことおよび、符号Lがs-infix符号であるための必要十分条件は、Lに対してP3が成り立ちかつ、Lがh-infix符号であることを示す.
- 社団法人電子情報通信学会の論文
- 2001-10-12
著者
関連論文
- Some families of codes under the pure codes and the bifix codes (Algebras, Languages, Algorithms in Algebraic Systems and Computations)
- Literal shuffle on $\omega$-languages(Semigroups, Formal Languages and Computer Systems)
- 診断結果を論理式で表現した故障診断システム(研究速報)
- d-primitive words and D(1)-concatenated words (Algorithmic and Computational Theory in Algebra and Languages)
- 論理式を用いた故障診断システムについて
- 無向グラフの隣接次数表と最小サイクル表 : 位数制限グラフの同型性
- 隣接次数表による無向グラフが同型であるための十分条件
- 符号のSyntactic congruence
- 非サイクル有向グラフの極大パス被覆を求めるアルゴリズム
- Membership of words in Codes
- Syntactic Congruences of some Codes (Algebraic Systems, Formal Languages and Computations)
- Closure property of Some Codes under Composition (Languages, Algebra and Computer Systems)
- 符号の合成について
- 上昇型プッシュダウン木オートマトンと文脈自由木文法
- ある無限列が表現する実数の集合
- Morphism preserving some kinds of languages (Algebras, Languages, Algorithms and Computations)
- Closure properties of $\omega$-languages under morphism and inverse morphism