順序機械の多項式時間推論アルゴリズム(LAシンポジウム(情報基礎理論ワークショップ)論文小特集)
スポンサーリンク
概要
- 論文の詳細を見る
本論文は, 未知なるMoore型順序機械の入出力例からMoore型順序機械を推論するアルゴリズムを述べる.この推論アルゴリズムが出力する仮説は, 与えられた入出力例に矛盾しない非決定性のMoore型順序機械であり, かつ仮説の更新時間が入出力例の長さの総和の多項式時間になることを示す.更にこの推論アルゴリズムが, Moore型順序機械を極限において同定することを, Moore型順序機械の構造から定義されるcomplete入出力例を用いることにより示す.
- 社団法人電子情報通信学会の論文
- 2001-01-01
著者
関連論文
- ラベル選択を有する最小全域木問題 (アルゴリズムと計算機科学の数理的基盤とその応用)
- 木オートマトンによる無閉路有向グラフの全域木の認識問題
- 拡張Dyck言語によるTALsの特徴付け(オートマトン・言語理論)
- 拡張範疇文法 : 機械翻訳のための新しい文法モデル(オートマトン・言語理論)
- 万能CF文法と文法の準同型写像 (オートマトン理論および言語理論の新展開)
- ユニバーサル・デザインによる視覚障害者用触読図作図システムの開発(ヒューマンコミュニケーショングループ(HCG)シンポジウム)
- 順序機械の多項式時間推論アルゴリズム(LAシンポジウム(情報基礎理論ワークショップ)論文小特集)
- 順序機械の多項式時間推論アルゴリズム
- 線形プッシュダウン・木オートマトン (計算モデルとアルゴリズム)
- 順序機械の多項式時間推論アルゴリズム
- 翻訳過程における木変換機の出力木の変換システム
- 多段階木変換機について(計算モデルと計算の複雑さに関する研究)
- 決定性・線形プッシュダウン木オートマトンによる木構造の線形時間認識
- $O(n^3)$で認識される文脈自由木言語のサブクラスについて (計算機科学基礎理論とその応用)
- 単一パラメータマクロ木変換機とSpine Grammarの関係(LAシンポジウム(情報基礎理論ワークショップ)論文小特集)
- Spine Grammarの線形性と無削除性
- 構文解析木を利用した辞書編集システム
- 格枠による訳パターンの自動生成(英文翻訳システムにおける)
- 形式言語と計算量理論の研究と教育(フェロー受賞記念講演)
- 転送スタック付きプッシュダウンオートマトンとLinear Indexed Grammarについて
- 木一文字列変換機について
- Linear Indexed Grammarと等価なオートマトンモデル
- 転送スタックつきプッシュダウン・オートマトン : 関係代名詞節を含む英文翻訳の構文解析モデル
- 統計量による$\alpha\beta$法の効率化 (計算モデルとアルゴリズム)
- 戸田誠之助氏のゲーデル賞受賞について
- 機械翻訳のための新しい木構造,左右木について
- 自動翻訳における新しい木構造の導入 : 左右木について(アルゴリズムと計算量理論)
- オセロゲームの複雑さ
- 2NPDAによるシミュレーションと未解決問題(計算アルゴリズムと計算量の基礎理論)
- 非決定性同時計算量について(計算機科学の基礎理論とその応用)
- k log n決定性領域を必要とする問題(計算機科学の基礎理論)
- Gradually Intractable Problems(Mathematical Theories on Computing Schemes and Their Applications)
- 制限された1階述語論理のComputational Complexity (計算の複雑性に関する研究)
- 石おきゲームと計算の複雑さ (情報科学の数学的基礎理論と応用)
- 木オートマトンを用いた化学グラフのスクリーニング手法 (計算機科学とアルゴリズムの数理的基礎とその応用)
- While Programsについて (オートマトン理論と数理言語の研究)
- 言語理論の最近の話題 III
- 言語理論の最近の話題 II
- 言語理論の最近の話題 I
- Deterministic Graded Pushdown Automata (情報科学の数学的理論)
- 安全なOne-way Functionについて(計算アルゴリズムと計算量の基礎理論)
- Some basic results about probabilistic pushdown automata
- 確率プッシュダウンオ-トマトンについて
- 2. ハードウェアアルゴリズムの基礎理論 2.1 並列計算モデルと計算の複雑さ (VLSI向きハードウェアアルゴリズム)
- VLSIモデルへのグラフの埋め込みについて(計算機構に関する数学的基礎理論とその応用)
- 最小切点集合を求めるための$O(N^2)$アルゴリズム (形式言語理論とオートマトン理論)
- 計算の難しさについて (ソフトウェア科学,工学の数理的方法)
- オンライン計算に於ける領域計算量 (数理情報科学の基礎理論と応用)
- プログラム図式におけるTimeとSpaceのTrade-off (計算の複雑性に関する研究)
- Simple Loop ProgramによるTime Complexityの階層 (計算機科学の数学的基礎)
- 計算機模型と計算の複雑性--複雑さの下界について
- ラベル選択付最小連結全域部分グラフ問題と化学構造式OCRへの応用 (アルゴリズムと計算理論の新展開)
- 計算機模型と計算の複雑性--複雑さの下界について