Question 96
Which statements about CFG equivalence and universality are correct?
Equivalence and universality are undecidable; membership and emptiness are decidable.
Which statements about CFG equivalence and universality are correct?
Equivalence and universality are undecidable; membership and emptiness are decidable.
Which languages are context-free?
The first two have a one-stack counting construction; ww and equal three-way counts are not CFLs.
What is the key distinction between CFG ambiguity and language inherent ambiguity?
Grammar ambiguity is about one grammar; inherent ambiguity is about all grammars for the language.
If L is a CFL and R is regular, what is guaranteed about L ∩ R?
CFLs are closed under intersection with regular languages.
Which operations are guaranteed to preserve context-freeness when one operand is a CFL and the other is regular?
CFLs are closed under intersection with regular languages; union and difference with a regular language can be expressed using CFL-preserving operations and regular complements.