@MaryStar exactly how are you gonna cover all that in <30m? if you can understand the proof (?) then give an outline/ overview.
(more coincidence/ cybersynchronicity...) evinda is also studying applied math... maybe you can help her out! did you study any coding as undergraduate? what kind of classes do the applied math majors have anyway?
@Raphael I thought this could be useful for reference questions. [Context Free Grammar for a*b*c*-{anbncn∣n≥0}] (http://cs.stackexchange.com/questions/41929#42038)