文字列書き換え系
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2013/06/16 12:56 UTC 版)
文字列書き換え系(英: String rewriting system)は、与えられた文字列に所定の書き換え規則を適用して変換を行う置換系の一種であり、ポスト正準系の特殊な型である。
- 1 文字列書き換え系とは
- 2 文字列書き換え系の概要
Weblioに収録されているすべての辞書から文字列書き換え系を検索する場合は、下記のリンクをクリックしてください。
全ての辞書から文字列書き換え系を検索
- 文字列書き換え系のページへのリンク