有限状態マシンとプッシュダウンオートマトンの違いは何ですか?


答え 1:

違いは実装に依存します。通常、ジムが既に述べたように、プッシュダウンオートマトンは状態のスタックであり、スタック内の各状態には2つの遷移(各側に1つ)しかありませんが、有限状態マシンは状態間で実行される遷移を持つグラフになります。 (例として)状況依存の人工アシスタントはプッシュオートマトンとして実装できますが、ユーザーインタラクティブデバイスのアプリケーションレイヤーは有限状態マシンとして実装できます。

階層的ステートマシンの実装は、各レベルの有限ステートマシンと組み合わせたプッシュダウンオートマトンであると考えることができます。


答え 2:

有限状態マシンの遷移は、状態のセットから状態のセットへの関数です。したがって、入力が与えられると、マシンの将来の構成(または状態)は、開始時の状態のみに依存します。 pdaでは、遷移関数は、スタックの最上位シンボルと場所から他の場所に移動します。したがって、入力が与えられたオートマトンの未来は状態とスタックの内容に依存します(次の状態はスタックのトップに依存し、next to nextはおそらく2番目の要素に、next to next to nextは3番目などに依存します) 。スタックのサイズには制限がありません。したがって、状態または構成は制限されない可能性があります。


答え 3:

有限状態マシンの遷移は、状態のセットから状態のセットへの関数です。したがって、入力が与えられると、マシンの将来の構成(または状態)は、開始時の状態のみに依存します。 pdaでは、遷移関数は、スタックの最上位シンボルと場所から他の場所に移動します。したがって、入力が与えられたオートマトンの未来は状態とスタックの内容に依存します(次の状態はスタックのトップに依存し、next to nextはおそらく2番目の要素に、next to next to nextは3番目などに依存します) 。スタックのサイズには制限がありません。したがって、状態または構成は制限されない可能性があります。