1
JFLAPは、非決定性有限オートマトン、非決定性プッシュダウンオートマトン、マルチテープチューリングマシン、いくつかのタイプの文法、構文解析、Lシステムなど、形式言語のトピックを試すためのソフトウェアです。これらのサンプルの作成とテストに加えて、JFLAPでは、NFAをDFAに変換して最小状態のDFAを正規表現または通常の文法に変換するなど、ある形式から別の形式への構築証明を試すことができます。
ウェブサイト:
http://www.jflap.org/カテゴリー
