equal
deleted
inserted
replaced
1532 $A$ & $::=$ & $aS \mid bAA$ \\ |
1532 $A$ & $::=$ & $aS \mid bAA$ \\ |
1533 $B$ & $::=$ & $bS \mid aBB$ |
1533 $B$ & $::=$ & $bS \mid aBB$ |
1534 \end{tabular} |
1534 \end{tabular} |
1535 \postw |
1535 \postw |
1536 |
1536 |
1537 The intuition behind the grammar is that $A$ generates all string with one more |
1537 The intuition behind the grammar is that $A$ generates all strings with one more |
1538 $a$ than $b$'s and $B$ generates all strings with one more $b$ than $a$'s. |
1538 $a$ than $b$'s and $B$ generates all strings with one more $b$ than $a$'s. |
1539 |
1539 |
1540 The alphabet consists exclusively of $a$'s and $b$'s: |
1540 The alphabet consists exclusively of $a$'s and $b$'s: |
1541 |
1541 |
1542 \prew |
1542 \prew |