Define what it means for a Context-Free Grammar (CFG) to be ambiguous. Explain the inherent ambiguity problem and discuss why it is undecidable to determine if an arbitrary CFG is ambiguous. Provide examples of ambiguous grammars and show how to transform them into unambiguous versions where possible, or discuss theoretical cases where this is impossible.