略語大辞典 [C] 24 PDA* push down automata プッシュダウンオートマタ.push down automata; [C]. 丸善「略語大辞典」JLogosID : 11855209