Geef de formele definitie van een stapelautomaat: