fnordomat bb0c0ea0dd Implemented a simple DFA leaning algorithm, using greedy state merging and MDL criterion. 5 年 前
..
benchmark.cpp 4d971edfe6 rework 6 年 前
testgtest.cpp bb0c0ea0dd Implemented a simple DFA leaning algorithm, using greedy state merging and MDL criterion. 5 年 前