JFLAP

JFLAPは、非決定性有限オートマトン、非決定性プッシュダウンオートマトン、マルチテープチューリングマシンなどの形式言語トピックを実験するためのソフトウェアです...

無料アプリ
Windows
Mac
Linux

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