The right answer is 2: The language of all non-empty strings on {a,b} with the same number of a's and b's and where all the a's come before all the b's
The right answer is 3: A grammar is ambiguous if there are two different derivation trees for the same string
"^" is left associative: false
"^" has precedence over "-": true
The grammar is unambiguous: true
10: not derivable
1 - 2: derivable
A
/|\
/ | \
A - B
| /|\
| / | \
B C ^ B
| | |
C 1 C
| |
2 1