Question 1
Which CFL closure property is true?
CFLs are closed under reversal.
Which CFL closure property is true?
CFLs are closed under reversal.
Which statement about DPDA closure properties is true?
DCFLs are closed under complement, but not generally under union or intersection.
A PDA stack initially contains only Z0. If 42 symbols are pushed and 20 symbols are later popped, how many stack symbols remain?
The stack contains 1+42-20 = 23 symbols.
Which problem is decidable for a CFG?
CFG membership is decidable, for example by CYK after conversion to CNF.
Which grammar is in CNF?
The productions are binary nonterminal pairs or single terminals.