翻訳と辞書
Words near each other
・ グライド (pigstarのアルバム)
・ グライドスライドドア
・ グライドスロープ
・ グライドパス
・ グライドメディア
・ グライド・イン・ブルー
・ グライド・スロープ
・ グライド・パス
・ グライナロゥン湖
・ グライナー
グライバッハ標準形
・ グライヒェン
・ グライヒシャルトゥング
・ グライビッツ
・ グライフ
・ グライフ (仮装巡洋艦)
・ グライフェンベルク
・ グライフェン湖
・ グライフシュヴァルト
・ グライフスヴァルト


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

グライバッハ標準形 : ウィキペディア日本語版
グライバッハ標準形[ぐらいばっはひょうじゅんがた]
計算機科学において、文脈自由言語の全ての生成規則が次のように書けるとき、グライバッハ標準形(Greibach normal form)であるという。
:A \to \alpha X
または
:S \to \varepsilon
ここでは''A''は非終端記号、αは終端記号、''X''は開始記号以外の非終端記号からなる文字列(空を含む)をあらわし、''S''は開始記号、εは空をあらわす。
また、左再帰が許されないという点において特徴的である。
全ての文脈自由文法は等価なグライバッハ標準形の文法に書換えることができる(定義によっては 2番目のεへの規則を含まないこともあるが、この場合は空列を受理しない)。これは、任意の文脈自由言語が非決定性プッシュダウンオートマトンで受理できることの証明である。
グライバッハ標準形で与えられた文法とその文法によって導出できる長さ ''n'' の文字列が与えられたとき、この文法に基づいた与えられた文字列の下向き構文解析は深さ ''n'' までに終了する。
グライバッハ標準形の名前はシーラ・グライバッハにちなんで名付けられたものである。
== 関連項目 ==

* バッカス・ナウア記法
* チョムスキー標準形


抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「グライバッハ標準形」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.