Context Free Grammars / Productions

Write productions that will define the syntactic category , to replace the abstract terminal simpleStat in the figure below {see attachment}. You may assume the syntactic category stands for C arithmetic expressions. Recall that a "simple statement" can be an assignment, function call, or jump, and that, technically, the empty string is also a simple statement.

Nonnegative Integers

Please see the attachment for problem related to nonnegative integer and my solution (needs to be edited and confirmed)

Nonnegative Integers

If the solution to this nonnegative integer question is correct, then you may respond that it is. If the solution needs ANY kind of improvement, in presentation, in clarity, in correctness, if a proof can be more elegant, then please rewrite the entire solution.

Only Respond if you are OTAs: 101478, 103846, 104591, 104455

Respond/pick up the credit if you absolutely know the solution is correct. If you can make an improvement on the solution in correctness, clarity, presentation, or if a proof can be more elegant, than please rewrite the entire solution.

Prove that in any graph...

Prove that in any graph with two or more vertices, there must be two vertices of the same degree.