翻訳と辞書 Words near each other ・ 形式的手法 ・ 形式的検証 ・ 形式的確定力 ・ 形式知 ・ 形式社会学 ・ 形式科学 ・ 形式称号 ・ 形式等価判定 ・ 形式美 ・ 形式聴牌 ・ 形式言語 ・ 形式言語の階層 ・ 形式言語理論 ・ 形式論 ・ 形式論理 ・ 形式論理学 ・ 形式遺伝学 ・ 形式陶冶 ・ 形式電荷 ・ 形影 Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク 形式言語 ： ミニ英和和英辞書 形式言語[けいしきげんご] ===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 形 ： [けい, かたち, ぎょう] 　 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. word　2. remark　3. statement　 ・ 語 ： [ご] 　 1. (n,n-suf) language　2. word　 形式言語 ： ウィキペディア日本語版 形式言語[けいしきげんご] 形式言語（けいしきげんご、）は、その文法（構文、統語論）が、場合によっては意味（意味論）も、形式的に与えられている（形式体系を参照）言語である。形式的でないために、しばしば曖昧さが曖昧なまま残されたり、話者集団という不特定多数によってうつろいゆくような自然言語のそれに対して、一部の人工言語や、いわゆる機械可読な（機械可読目録を参照）ドキュメント類などは形式言語である。この記事では形式的な統語論すなわち構文の形式的な定義と形式文法について述べる。形式的な意味論については形式意味論の記事を参照。 ==定義== 形式言語の理論、特にオートマトン理論と関連したそれにおいては、言語はアルファベットの列（語 word) の集合である。 $L\; \backslash subset\; \backslash Sigma^$ * = \ ただし、長さゼロの空単語（''Empty Word'', 記号 $e$、$\backslash epsilon$、$\backslash Lambda$)も含む。 チューリングマシンの言語は単なる文字列なので、数学的構造(他のチューリングマシンを含む)を扱うには符号化(エンコード)し、その数値を解釈するプログラムを埋め込む必要がある。 チューリング完全機械は十分強力なので、この手法であらゆる列挙可能な構造を扱うことができる。チューリングマシンの数値表現については(チューリングマシンの)表記(description)という。 あるチューリングマシンが存在して、言語に属するすべての語 ''w'' に対して動作させると受理状態で停止し、属さない語には受理しないようないとき、その言語はチューリング認識可能という。 また、言語に属さないときは必ず拒否状態で停止する場合、その言語はチューリング判別可能であるという。(この２つの違いは、一部の入力にたいしてチューリングマシンが停止しない場合があるかどうかである) また、チューリングマシンTMの言語 ''L''(TM) とは、テープに ''w'' をセットしたあと、TMを動作させると受理状態に入って停止するような ''w'' の集合からなる言語(TM認識可能な言語)のことである。 この言語には以下のような演算が定義される。ここで、$L\_$ と $L\_$ は共通のアルファベットから構成される言語であるとする。 * 「連結」$L\_\; L\_\backslash quad$ は、文字列群 $vw$ から構成される。ここで、$v$ は $L\_$ に含まれる文字列で、$w$ は $L\_$ に含まれる文字列である。 * 「積集合」$L\_1\; \backslash cap\; L\_2$ は、$L\_$ にも $L\_$ にも含まれる文字列の集合である。 * 「和集合」$L\_1\; \backslash cup\; L\_2$ は、$L\_$ か $L\_$ に含まれる文字列の集合である。 * $L\_$ の「補集合」は、$L\_$ に含まれない全ての文字列の集合である。 * 「商集合」$L\_/L\_\backslash quad$ は、$L\_$ に含まれる文字列 $vw$ に対して、$L\_$ に含まれる文字列 $w$ が存在するときに、全ての $v$ に相当する文字列群から構成される。 * 「クリーネスター」$L\_^$ は、$w\_w\_...w\_$ という形式の全文字列群から構成される。ただし、$w\_$ は $L\_$ に含まれ、$n\; \backslash ge\; 0$ である。注意すべきは、$n\; =\; 0$ の場合もあるので、空文字列 $\backslash epsilon$ も含まれるという点である。 * 「反転」$L\_^$ は、$L\_$ の全文字列を反転させた文字列群から構成される。 * $L\_$ と $L\_$ の「シャッフル」とは、$v\_w\_v\_w\_...v\_w\_$ で表される全文字列から構成される。ここで、$n\; \backslash ge\; 1$ で、$v\_,...,v\_$ を連結した $v\_...v\_$ は $L\_$ に含まれる文字列であり、$w\_,...,w\_$ を連結した $w\_...w\_$ は $L\_$ に含まれる文字列である。 モデル理論においては、言語は定数記号、関数記号、述語記号の集合である。 $L\; =\; \backslash \; \backslash cup\; \backslash \; \backslash cup\; \backslash$ これらの記号に意味を与える構造は、言語の対象外である。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「形式言語」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.