crystal-dawg:晶体中的确定性非循环有限状态自动机