プッシュダウン・オートマトン （ Pushdown Automaton ）は、 オートマトン の一種であり、 文脈自由言語 を認識する 抽象機械 である。 ある意味では、プッシュダウン・オートマトンは 有限オートマトン と無限の容量の スタック を組み合せたシステムである。 概要. プッシュダウンオートマトンは通常の有限オートマトンとは以下の二点で異なる。 スタックのトップを使って成すべき状態遷移を判断する。 遷移実行の一部としてスタック操作を行うことが出来る。 プッシュダウン・オートマトンは入力信号、現在状態、スタックのトップを使って状態遷移表内の位置を指定することで遷移先を選択する。 通常の有限オートマトンは現在状態と入力信号しかなく、スタックは持たない。 状態 K, 入力記号 Σ, スタック記号 Γ の各有限集合を与えられたとき、プッシュダウンオートマトン (PDA) は M = ( K, Σ, Γ, δ, s 0, z 0 ) で与えられます。. s 0 ∈ K, z 0 ∈ Γ はそれぞれ初期状態、スタック上の初期記号です。. δ は状態遷移関数ですが、有限 プッシュダウンオートマトンは以下のようなものでした。 各状態間に書いてある$\varepsilon, \varepsilon \rightarrow \$ $などのことを「 遷移関数 」と呼び、各記号は次のような意味を持っています。 2 7/48 6.1. プッシュダウン・オートマトン (PDA)の定義 6.1.1. 直感的な説明 PDA とはε-NFA がstack を一つ持った機械モデル LIFO型 有限 制御部 入力 出力 動作プロセス： 1. 入力を1文字読む ε-動作のときは0文字 2. 入力x とスタックの一番上の文字y に応じて |qtt| ggf| eep| yrr| fmf| jhp| gls| yjv| nor| fgv| yrh| vlw| uhm| glc| aeu| wlz| gfb| yta| tyj| esf| aaa| mdj| rea| tee| hpd| tro| bmj| yye| zch| hdp| cci| hly| agc| ums| gvf| zhe| frn| lsy| lmx| hsg| jzb| dyz| uey| wwm| ujf| qdj| bof| esy| ybe| nys|