Informasi yang berkaitan dengan ja/決定性プッシュダウン・オートマトン