OpenLogicProject/OpenLogic

Possible typo in example 14.14

marethyu opened this issue · 0 comments

I suspect $\delta(q_5,\sqcup)=\langle q_6,\sqcup,N\rangle$ is supposed to be $\delta(q_0,\sqcup)=\langle q_6,\sqcup,N\rangle$ instead. In example 14.2, it appears to me that $\delta(q_5,\sqcup)$ is already defined...?

capture1