Ch 13 Flashcards
(89 cards)
A stack machine is a kind of automation that uses a stack for auxiliary data storage.
T
The size of the stack is bounded.
F
The size of a stack is unbounded - it never runs out of space.
T
The set of languages that can be defined using a stack machine is the same as the set of languages that can be defined using a DFA: the regular languages.
F
What gives stack machines an edge over finite automata?
The size of the stack is unbounded.
What is a stack?
A collection of data accessed in last-in-first-out order.
What is a kind of automation that uses a stack for auxiliary data storage?
Stack machine
What does it mean for data to be pushed onto a stack?
Data item is added to the top of the stack.
What is it called when data is added to a stack?
Push
Just like DFAs, stack machines make state transitions.
F
Stack machines make transitions.
F
Unlike a DFA or NFA, what does a stack machine not do, but instead maintains a stack of symbols?
state transitions.
A stack machine starts with a stack that contains just one symbol, S
T
No stack machine can be deterministic.
F???
NA stack machine may have more than one legal sequence of moves on a given input string.
F
If the stack machine decides to accept the input string, it will by leaving its stack empty, and popping everything off including what?
The bottom-of-stack symbol S.
What does a stack machine start with?
A start symbol, S
In a stack machine, what must be popped off to signal that the input string is accepted?
The original bottom-of-stack symbol S
The transition function (pikmen) takes only one parameter.
F
A stack machine is a 4-tuple.
T
A stack machine is nondeterminisitic - at each stage, there may be any number of possible moves.
T
A stack machine is nondeterministic.
T
At each stage of a stack machine, there may be only two possible moves.
F
What is the formal definition of a stack machine?
See notes