翻訳と辞書
Words near each other
・ 形式仕様記述
・ 形式体系
・ 形式冪級数
・ 形式冪級数環
・ 形式名詞
・ 形式和
・ 形式差
・ 形式張る
・ 形式意味論
・ 形式手法
形式文法
・ 形式犯
・ 形式理論
・ 形式的
・ 形式的な性
・ 形式的に実
・ 形式的に実な体
・ 形式的べき級数
・ 形式的ベキ級数
・ 形式的仕様記述


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

形式文法 : ミニ英和和英辞書
形式文法[けいしきぶんぽう]
=====================================
〔語彙分解〕的な部分一致の検索結果は以下の通りです。

: [けい, かたち, ぎょう]
  1. (suf) shape 2. form 3. type
形式 : [けいしき]
 【名詞】 1. (1) form 2. formality 3. format 4. (2) appearance 5. mode 6. (3) math expression 
: [しき]
  1. (n,n-suf) (1) equation 2. formula 3. expression 4. (2) ceremony 5. (3) style 
: [ぶん]
 【名詞】 1. sentence 
文法 : [ぶんぽう]
 【名詞】 1. grammar 
: [ほう]
  1. (n,n-suf) Act (law: the X Act) 

形式文法 : ウィキペディア日本語版
形式文法[けいしきぶんぽう]
形式文法(けいしきぶんぽう、''Formal Grammar'')は、形式的に与えられた(形式体系を参照)文法である。「言語」をその言語における文の集合として与えるものとして、ここでは、(有限の)文字群上の有限長の文字列の(通常無限な)集合が、形式的に記述される。
形式文法にはふたつの捉えかたがある。それは「生成」と「分析」である。#チョムスキー階層の節および単独記事に詳細があるが、両者は対応するので、ある意味では同じものをそれぞれ逆の側から見たものにすぎない。
以下で「文法の規則(構文規則)の集まり」と呼んでいるのは、具体的には、句構造規則#基本モデルにあるようなものである。また終端記号と非終端記号の記事も参照のこと。
* 生成文法(''Generative grammar'')は、文法の規則(構文規則)の集まりを「トップレベルの非終端記号(たとえば <文>)から始めて、右辺に書き換える書き換え規則を適用していくことによって言語の文字列を生成することができる規則の集まり」と見るものである。
* 分析的文法(''Analytic grammar'')は、文法の規則(構文規則)の集まりを「任意の終端記号列に対し、パターンが一致すれば右辺から左辺に書き換え規則が適用できる規則の集まりであり、最終的にトップレベルの非終端記号(たとえば <文>)が得られれば受理されたとして、入力の列がその言語に含まれるか否かを判定できるもの」と見るものである。
生成文法は、ある言語に含まれる文字列を生成するアルゴリズムを定式化するもの、分析的文法は、ある言語に含まれる文字列を構文解析し受理するアルゴリズムを定式化するもの、とも言える。(トップダウン構文解析ボトムアップ構文解析とまぎらわしいが、それらはどちらも分析的である)
== 生成文法 ==

生成文法は文字列変換規則の集まりである。ある言語の文字列を生成するには、まずひとつの「開始」文字だけから成る文字列から始めて、規則を適当な回数適用して文字列を書き換えていく。逆に言えば、その言語はその規則群によって生成される全文字列を含む。ある規則の組み合わせで生成された文字列について、別の規則の適用の仕方でも同じ文字列が生成できる場合、その文法は曖昧であると言う。
たとえば、'a' と 'b' から成る文字セットがあり、開始記号 'S' に対して以下の規則を適用するものとする。
: 1. S \longrightarrow aSb
: 2. S \longrightarrow ba
そこで、"S" から開始して、適用する規則を選んでいくことができる。規則1を選ぶと、開始記号 'S' から 'aSb' に変換されるので "aSb" が得られる。再度規則1を選ぶと、'S' が 'aSb' に変換されるので全体として "aaSbb" となる。この過程は最終的に本来の文字セット(つまり 'a' と 'b')だけから構成される文字列になるまで続けられる。さて、終了させるために規則2を適用すると 'S' が 'ba' に変換されるので、最終的に "aababb" を得る。この過程をまとめると S \longrightarrow aSb \longrightarrow aaSbb \longrightarrow aababb となる。この文法による言語はこのような過程で生成される全文字列 \left \ を含む。

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「形式文法」の詳細全文を読む




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

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