文脈自由文法をPDAに変換する—私のソリューションは正しいですか？

私は私の中間期を検討していて、誰かがエラーを見つけることができるかどうかを確認するためにこれを投稿したいと思います。私はこのCFGを認識するPDAを作成することになっています：

$\qquad\begin{align} S &\to R1R1R1 \\ R &\to 0R \mid 1R \mid \varepsilon \end{align}$

これが私の解決策です。私は自分の受け入れ状態の周りに2番目の円を描くのを忘れたことを知っています。

その言語は単に文字列を認識しないのですか $\{0,1\}^*$ 少なくとも3つあります $1$その中に？

もしそうなら、それを認識するために最大3つまで数えることができる通常の有限決定論的オートマトンが必要です。

これは、その文法を直接翻訳する気がないためです。