Since push leaves the stack non-empty, those two operations are undefined (hence invalid) when s = Λ.
Так як операція push залишає стек не порожнім, тоді ці дві операції не визначені (і, отже неспроможні) при s = Λ.