列島縦断 鉄道乗りつくしの旅
菅谷昭
経歴.
松本市長.
後任の市長には、臥雲が当選した。
松本大学学長.
穴山小介
日本民族資料館
海野六郎
プッシュダウン・オートマトン
ある意味では、プッシュダウン・オートマトンは有限オートマトンと無限の容量のスタックを組み合せたシステムである。
概要.
プッシュダウンオートマトンは通常の有限オートマトンとは以下の二点で異なる。
プッシュダウン・オートマトンは入力信号、現在状態、スタックのトップを使って状態遷移表内の位置を指定することで遷移先を選択する。通常の有限オートマトンは現在状態と入力信号しかなく、スタックは持たない。プッシュダウン・オートマトンはスタックを遷移先選択のパラメータに加える。つまり、入力信号と現在状態とスタックのトップにある文字から遷移先を選択する。
プッシュダウン・オートマトンは、遷移を実行する動作の一部としてスタックを操作することもできる。通常の有限オートマトンは遷移の結果として新しい状態を選択する。スタック操作とはある特定の文字をスタックにプッシュすることやスタックのトップをポップすることを意味する。また、プッシュダウン・オートマトンはスタックを操作せずにそのままにしておくこともできる。どう操作するかは状態遷移表によって決定される。
まとめると、入力信号と現在状態とスタック上の文字によって状態遷移すると共に、必要に応じてスタック操作を行う。
有限オートマトンにふたつのスタックを接続することもでき、これは事実上チューリングマシンと等価な非常に強力なデバイスとなる。線形拘束オートマトンはプッシュダウン・オートマトンよりも強力だが、チューリングマシンよりは非力である。
形式的定義.
ここで、
例.
春木競馬場
春木競馬場（はるきけいばじょう）は、かつて大阪府岸和田市に存在した競馬場である。
沿革.
競馬廃止へ.
春木競馬場は、売り上げが好調であるにもかかわらず廃止された競馬場として、特異な存在である。また、競馬廃止に伴う補償金を、自らの売上金で得ることができたことも特筆される。また、紀三井寺競馬とは人馬の交流があり、春木競馬の廃止が紀三井寺競馬にも影響を与え、のちの廃止に繋がったという見方もある。
主要競走.
サラブレッド
アラブ
障害
ほか
筧十蔵
花井美理
作品.
イメージビデオ.