プログラム lethal.sf.net

致死は有限木およびヘッジオートマトンを扱うためのJavaライブラリである。それは操作および財産評価の多種多様を提供する。さらに、ライブラリにはスクリプト可能なグラフィカルユーザーインターフェイスが付属しており、すぐに開始できます。