OpenLogicProject / OpenLogic

An open-source, customizable intermediate logic textbook
http://openlogicproject.org/
Creative Commons Attribution 4.0 International
1.02k stars 234 forks source link

Possible typo in example 14.14 #369

Closed marethyu closed 2 months ago

marethyu commented 4 months ago

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