java开发的自动机工具集FLAP基本上形式化与自动机方面的实例都有了，很不错的工具。