Question

a) \{a^n b^m \mid n \neq m\} b) \{a^n b^m \mid n \geq m\} c) \{a^n b^m \mid n > 2m\} d) \{a^n b^m \mid n > 0\} e) \{a^n b^m \mid n > m > 0\} f) \{a^n b^m \mid n = 2m + 1\} 1) S \to aSB S \to \epsilon B \to b B \to \epsilon 4) S \to aaTb T \to aTb T \to aT T \to \epsilon 2) S \to aS S \to Sb S \to a 5) S \to aSb S \to T S \to R T \to aT R \to Rb T \to a R \to b 3) S \to aaSb S \to aT T \to aT T \to \epsilon 6) S \to aaSb S \to a

          a) \{a^n b^m \mid n \neq m\}
b) \{a^n b^m \mid n \geq m\}
c) \{a^n b^m \mid n > 2m\}
d) \{a^n b^m \mid n > 0\}
e) \{a^n b^m \mid n > m > 0\}
f) \{a^n b^m \mid n = 2m + 1\}
1) S \to aSB
S \to \epsilon
B \to b
B \to \epsilon
4) S \to aaTb
T \to aTb
T \to aT
T \to \epsilon
2) S \to aS
S \to Sb
S \to a
5) S \to aSb
S \to T
S \to R
T \to aT
R \to Rb
T \to a
R \to b
3) S \to aaSb
S \to aT
T \to aT
T \to \epsilon
6) S \to aaSb
S \to a

$a) {a^n b^m |n ≠m} b) {a^n b^m |n ≥m} c) {a^n b^m |n > 2m} d) {a^n b^m |n > 0} e) {a^n b^m |n > m > 0} f) {a^n b^m |n = 2m + 1} 1) S →aSB S →ϵB →b B →ϵ4) S →aaTb T →aTb T →aT T →ϵ2) S →aS S →Sb S →a 5) S →aSb S →T S →R T →aT R →Rb T →a R →b 3) S →aaSb S →aT T →aT T →ϵ6) S →aaSb S →a$

Added by Hunter B.

Question

Please give Ace some feedback