Literal shuffle on $\omega$-languages(Semigroups, Formal Languages and Computer Systems)
スポンサーリンク
概要
著者
関連論文
- 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)
- ペトリネットとその言語について(半群・形式言語および語の組合せ論)
- RIGHT CONGRUENCES FOR $\omega$-REGULAR LANGUAGES
- LOGICAL FORMULAS FOR PETRI NET $\omega$-LANGUAGES
- 無限語上のオートマトンで受理可能な言語のクラスについて
- 無限語上のオ-トマトンで受理可能な言語のクラスについて
- 計算できない問題について
- ペトリネットのω -言語と論理式
- ペトリネットのω-言語と論理式 (計量・数理分析特集)
- ペトリネットの理論と応用
- Characterization of $\omega$-Regular Languages by First-Order Formulas : An Extended Abstract(Mathematical Theories on Computing Schemes and Their Applications)
- 7. 順列の生成法 (アルゴリズムの最近の動向)
- Generalized Parenthesis Languages and Minimalization of Their Parenthesis Parts (形式言語理論とオートマトン理論)
- On Weak Persistency of Petri Nets (数理情報科学の基礎理論と応用)
- プログラムの正当性を検証する新しい方法
- 74-19 プログラムスキーム, リカージョンスキームと形式言語
- 73-22 線型非特異オートマトンの半群について
- 診断結果を論理式で表現した故障診断システム(研究速報)
- 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