I have a question regarding conversion of NPDA to CFG. The above picture is from my lecture slides. I dont understand why they are saying 1 can be popped while transitioning from q0 to q1. It is in the first grammar production after the "or" symbol. Also, it would be great if someone explained how the conversion is working for this example in specific. Thanks!