翻訳と辞書 Words near each other ・ 文字メッセージサービス ・ 文字ヶ関村 ・ 文字・活字文化振興法 ・ 文字主義 ・ 文字之教端書 ・ 文字体系 ・ 文字体系の一覧 ・ 文字体系別の言語の一覧 ・ 文字列 ・ 文字列探索 ・ 文字列書き換え系 ・ 文字列検索 ・ 文字列検索アルゴリズム ・ 文字列結合 ・ 文字列補間 ・ 文字列連結 ・ 文字別の言語の一覧 ・ 文字化け ・ 文字参照 ・ 文字合わせ錠 Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク 文字列書き換え系 ： ウィキペディア日本語版 文字列書き換え系[もじれつかきかえけい] 文字列書き換え系（英: String rewriting system）は、与えられた文字列に所定の書き換え規則を適用して変換を行う置換系の一種であり、ポスト正準系の特殊な型である。 == 基本的な文字列書き換え系の等価性 == 文字列書き換え系の基本的形式は項書き換え系と本質的に等価である。あるアルファベット ''A'' による文字列があり、次のような形式の部分文字列置換規則のみがあるとする。 : $x\_0x\_1\backslash cdots\; x\_n\; \backslash rightarrow\; y\_0y\_1\backslash cdots\; y\_m,\backslash quad\; x\_i,\; y\_i\; \backslash in\; A$ この規則は、任意の部分文字列 ''x''0''x''1...''x''n が ''y''0''y''1...''y''m に置換されることを意味する。 このような文字列書き換え系は項書き換え系に再定式化することができ、そのときの置換規則は以下のようになる。 : $x\_0(x\_1(\backslash cdots\; (\; x\_n(x)\; ))\; \backslash cdots\; )\; \backslash rightarrow\; y\_0(y\_1(\backslash cdots\; (y\_m(x))\; \backslash cdots)$ ここで、''x''i や ''y''''i'' は項書き換え系の関数シンボルである。 すなわちこの項書き換え系における文字列は、基底項である。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「文字列書き換え系」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.