「文字列書き換え系」を解説文に含む見出し語の検索結果(1～10/16件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2013/06/16 12:56 UTC 版)「文字列書き換え系」の記事における「基本的な文字列書き換え系の等価性」の解説文字列書き換...
文字列書き換え系（英: String rewriting system）は、与えられた文字列に所定の書き換え規則を適用して変換を行う置換系の一種であり、ポスト正準系の特殊な型である。基本的な文字列書き...
文字列書き換え系（英: String rewriting system）は、与えられた文字列に所定の書き換え規則を適用して変換を行う置換系の一種であり、ポスト正準系の特殊な型である。基本的な文字列書き...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/06/09 06:43 UTC 版)「計算理論」の記事における「マルコフアルゴリズム」の解説文字列に一種の文法規則を適用する...
ナビゲーションに移動検索に移動エミール・レオン・ポスト生誕1897年2月11日 ロシア帝国（現： ポーランド）アウグストゥフ死没1954年4月21日 アメリカ合衆国 ニューヨーク研究分野数学出身校コロ...
ナビゲーションに移動検索に移動エミール・レオン・ポスト生誕1897年2月11日 ロシア帝国（現： ポーランド）アウグストゥフ死没1954年4月21日 アメリカ合衆国 ニューヨーク研究分野数学出身校コロ...
ナビゲーションに移動検索に移動エミール・レオン・ポスト生誕1897年2月11日 ロシア帝国（現： ポーランド）アウグストゥフ死没1954年4月21日 アメリカ合衆国 ニューヨーク研究分野数学出身校コロ...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/06/09 06:43 UTC 版)「計算理論」の記事における「計算モデル」の解説詳細は「計算モデル」を参照 ここでは例とし...
マルコフアルゴリズム（英: Markov algorithm）とは、記号の文字列に対して一種の文法的規則を適用していく文字列書き換え系である。マルコフアルゴリズムはチューリング完全であることが...
項書き換え（こうかきかえ、英: term rewriting）とは、数学・計算機科学・論理学において、式（数式、論理式）の項を別の項に置換する手法を総称する用語である。項書き換え系（英:...
< 前の結果 | 次の結果 >