プログラム gnfa2re.sf.net

このプログラムでは、確定的有限オートマトン、非確定的有限オートマトン、または一般化 NFA を指定でき、あなたが述べた FA と同じ言語を認識する正規表現を返します。