私は、Peter Linz による An Introduction to Formal Languages and Automata のいくつかの問題を解決しようとしています。セクション 2.1 (決定論的有限アクセプター) では、オートマトンを書くことができず、それを解決するために助けが必要です。
質問 17-(f)、第 2 章:
L = {w : |na(W) - nb(W)| % 3 < 2}
naは単語のa文字数、 は単語
nbのb文字数です。
解決策はありますが、ここに描く方法がわかりません。