MinCaml (original), HaMLet
a naive implementation of derivatives would need to compute a transition for every possible character (up to 65536 in UTF-16). minterms fix this by partitioning the character space into equivalence classes where all characters in a class behave identically.
。快连官网对此有专业解读
ВсеГосэкономикаБизнесРынкиКапиталСоциальная сфераАвтоНедвижимостьГородская средаКлимат и экологияДеловой климат，详情可参考纸飞机官网
Implemented in Java. Written by Kohsuke KAWAGUCHI. Open source (BSD