オプションの「+」または「-」で始まる文字列として定義され、その後に開始しない単一のゼロまたは空でない数字のシーケンスが続く、実数の定型有限オートマトンを構築しようとしていますゼロで。この後に小数点が続き、その後に空でない一連の数字が続きます。
正規表現を作成しました: /[+ | -]?(O | ([1-9][0-9]*)).[0-9]+/
このサイトでテストできます: http://rubular.com/
特に遷移テーブルの各入力に対応する定義済みの状態が必要であることを考えると、DFA の構築方法については本当によくわかりません。
