スタックが空かどうかを判定するには、計算前にスタックに特殊記号を書いておき、PDAがスタックを読んでその記号が読み取れた場合は空であると判断する。
要这么做你需要在所有计算开始前在栈上写一个特殊符号，使得PDA可以在检测到这个符号的时候有效的识别出栈已经空了。