0

スタック抽象データ型を表すために有限状態マシン図を使用しようとしていますが、無限大のアルファベットを表現する方法を見つけるのに苦労しています。スタックは無限の要素を持つことができますが、私のダイアグラムに無限状態を描くことはできません。有限状態マシン図を使ってスタックADTを表現する

私が向いているのは再帰を使うことですが、有限状態マシンで再帰を表現する例は見つかりませんです。再帰を描画する標準的な方法はありますか?あるいは、私の無限の問題に対するもう一つの解決策がありますか?

+0

あなたが言ったように、スタックは有限状態マシンではないので、なぜこのエクササイズを最初にやっていますか? 「プッシュダウンオートマトン」と呼ばれる有限状態マシンがあり、マシンの状態に加えてその状態の一部を格納するスタックを利用しています。それはあなたが求めていることですか? – Welbog

+0

私は学校の割り当てのためにこれをやっていました。有限状態マシンは間違いなく私が探していたものです。私も混乱しています。 –

答えて

0

スタックに対応するマシンモデルはプッシュダウンオートマトンです。このモデルは、有限状態マシンよりも強力であることが知られています。したがって、後者でスタックを表現することは不可能です。あなたの問題に対する解決策はありません。

の無制限のアルファベットはありません。スタック上のシンボルの数だけが制限されません。

関連する問題