5

some questions have been popping up recently on ambiguity in CFLs/CFGs which can have subtleties (eg languages vs grammars & ambiguity vs inherent ambiguity). wikipedia states:

Many [context free?] languages admit both ambiguous and unambiguous grammars, while some languages admit only ambiguous grammars.

the sentence is phrased in wikipedia without the "CFL" inserted but am now wondering what effect it has on the logic. after pondering the technical defn of ambiguity (on wikipedia pg) & thinking about it a bit my question:

does every CFL have an ambiguous CFG? if not what is a counterexample ie a CFL that does not have (any) ambiguous CFG?

(the question arose in that every CFL has multiple CFGs, ie a CFG is only unique to a CFL under additional restrictions, and it seems that given any (unambiguous) CFG one could add small chgs/productions rules to get an equivalent ambiguous CFG...? is this trivial? but rarely pointed out anywhere?)

somewhat related question somewhat involved in sparking this one: Are there inherently ambiguous and deterministic context-free languages?

Community
  • 1
vzn
  • 11,034
  • 1
  • 27
  • 50

2 Answers2

12

Every nonempty context-free language has an ambiguous grammar. Consider any context-free grammar for the language with starting symbol $S$. We add new non-terminals $S',A',B'$, make $S'$ the new starting symbol, and add the following rules: $$ \begin{align*} &S' \to A' \\ &S' \to B' \\ &A' \to S \\ &B' \to S \end{align*} $$

Theodore Norvell
  • 530
  • 2
  • 8
Yuval Filmus
  • 276,994
  • 27
  • 311
  • 503
6

The following statement seems mathematically correct, though confusing.

Any grammar for the empty language $\varnothing$ is unambiguous: it has no strings for which there are two different valid derivation trees.

Hendrik Jan
  • 30,578
  • 1
  • 51
  • 105
  • 1
    so in other words every CFL except the empty language has infinite associated ambiguous grammars? – vzn Jun 05 '14 at 15:24
  • Is this still true if $\epsilon$ transitions are permitted? For example $S \rightarrow \epsilon | S$ seems ambiguous to me. – Wandering Logic Jun 05 '14 at 16:14
  • 3
    @WanderingLogic Your example (ambiguously) generates ${ \epsilon }$, which is not the empty set. – Hendrik Jan Jun 05 '14 at 19:30
  • 1
    A slight problem with the statement though is that its truth is vacuous. It has no strings, so any statement about the strings it has is necessarily true. It is also equally true that it has no strings for which there is a unique derivation tree. This makes it important how exactly "ambiguous grammar" is defined. – Tim Seguine Mar 30 '19 at 14:41