coffee-js / languages

编程语言学习论坛
https://github.com/coffee-js/languages/issues
112 stars 11 forks source link

重写系统 #48

Open ghost opened 11 years ago

ghost commented 11 years ago

Quick Introduction to Term Rewriting http://www.meta-environment.org/doc/books/extraction-transformation/term-rewriting/term-rewriting.html

Wiki https://en.wikipedia.org/wiki/Rewriting Rewriting http://rewriting.loria.fr/ Reduction System http://mathworld.wolfram.com/ReductionSystem.html Abstract rewriting system https://en.wikipedia.org/wiki/Abstract_rewriting_system Normal form (abstract rewriting) https://en.wikipedia.org/wiki/Normal_form_(abstract_rewriting) Term Rewriting and Rewriting Logic http://fsl.cs.uiuc.edu/index.php/Term_Rewriting_and_Rewriting_Logic 重写逻辑 https://zh.wikipedia.org/wiki/%E9%87%8D%E5%86%99%E9%80%BB%E8%BE%91

模式匹配 Wiki https://en.wikipedia.org/wiki/Pattern_matching What's the difference between term rewriting and pattern matching? http://cstheory.stackexchange.com/questions/6256/whats-the-difference-between-term-rewriting-and-pattern-matching Rules & Patterns http://reference.wolfram.com/mathematica/guide/RulesAndPatterns.html

Pattern theory https://en.wikipedia.org/wiki/Pattern_theory

Pure https://code.google.com/p/pure-lang/