 (UTC)  ::There is now a section explaining that 1-stack machines are less powerful than even deterministic pushdown automata, so they can't be the same as pushdown automata.  But a formal definition, from which we could actually see this, is still lacking.    15:25, 9 July 2008