11 views

Complete the proof of theorem $7.27$ by showing that

$(q_{P},w,Z_{0})\vdash(q,\in,\gamma)$ if and only if $(q_{P},q_{A},w,Z_{0}) \vdash((q,p),\in,\gamma),$  where $p =\hat{\delta}(p_{A},w).$

edited | 11 views