string - 特定の食事マシンが特定の出力を生成できるかどうかを確認するにはどうすればよいですか?

Question

ミーリー マシンがあり、大きな文字列がある場合、ミーリー マシンがその文字列を生成できるかどうかを確認するにはどうすればよいですか?

ミーリーマシンを正規表現に変換することを考えましたが、その方法も明確ではありません。

ありがとうございました。