No discussions yet. Be the first to start!
You must be logged in to participate in the discussion.
login Login to DiscussA1 ? A2A3
A2 ? A3A1 | b
A3 ? A1A1 | aS ? AA | 0
A ? SS | 1A1 ? A2A3
A2 ? A3A1 | b
A3 ? a | bA3A1 | aK | bA3A1K
k ? A1A3A1 | A1A3A1KS ? A A | 0
A ? 0S | 1 | 0SK | 1K
K ? AS | ASKL1 = {a^nb^mc^md^n ? {a, b, c, d}* | n, m ? 0}
? {a^nb^nc^md^m ? {a, b, c, d}* | n, m ? 0}
L2 = {a^nb^mc^m ? {a, b, c}* | n, m ? 0}
? {a^nb^nc^m ? {a, b, c}* | n, m ? 0}
L3 = {a^nb^mc^p ? {a, b, c}* | n ? m; n, m ? 0}
? {a^nb^mc^p ? {a, b, c}* | m ? p; n, m ? 0}