pushdown-automaton - 你如何为这种语言和 pda 创建一个上下文无关的语法？

Question

证明包含相等数量的 01 和 10 的集合 L 是规则的；[提示：L = {'', 0,00..,1,11...,010,101,...}，考虑两个分支；一个以 0 开头，另一个以 1 开头。] 为 L 编写 CFG 和 PDA。