CSE 555 Theory of Computation (2/28) - Organic Origami
CSE 555 Theory of Computation (2/28) - Organic Origami
CSE 555 Theory of Computation (2/28) - Organic Origami
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Decidability<br />
Run M with input w: three possible outcomes:<br />
1 M accepts w.<br />
2 M rejects w.<br />
3 M runs forever (loops).<br />
M decides L, if M recognizes L and M halts on all inputs<br />
(never loops).