トップページ
⇒
math
1001コメント
266KB
分からない問題はここに書いてね331
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています
0224
132人目の素数さん
2010/05/03(月) 06:40:57
Check the termination and the confluence of the following rewriting system:
・f(x,x)→a
・f(x,g(x))→b
・c→g(c)
問題の意味からして分かりません。
助けてください
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています