An examination of the language recognition capabilities that can be achieved by adding a queue (FIFO list) to a finite state machine. The addition of a pushdown stack (LIFO list) to a finite state machine (PDA, pushdown automata) allows the machine ...