/mrsekut-p/項書き換え - Scrapbox Reader

generated at 2/12/2025, 12:56:30 PM

項書き換え
term rewriting_
正規化とも言う
たぶん簡約とだいたい同じ意味
項を正規形になるまで書き換える
ASTをトラバースして書き換える
コンパイル時計算などもここでする #??

弱正規化
強正規化

↓こんなん
Stratego/XTrules
	E: Not(True) -> False
	E: Not(False) -> True
	E: And(True, x) -> x
	E: And(x, True) -> x


項書き換えの例
例beforeafter
!truefalse
0*90
`[1+1, 3]``[2, 3]`




項書き換えツールの例
ANTLR
ASF+SDF Meta Environment
Stratego/XT
Haskellでの項書き換えツールってなに #??
自作するもの？ANTLR?
https://github.com/cronburg/antlr-haskell とかあった

before	after
!true	false
0*9	0
`[1+1, 3]`	`[2, 3]`