<aside> <img src="/icons/accessibility_blue.svg" alt="/icons/accessibility_blue.svg" width="40px" /> Per correzioni, domande, ringraziamenti e quant’altro scrivetemi su telegram; Alex Lorenzato aka @TeppistaVichingo (nick telegram).

</aside>

<aside> <img src="/icons/link_blue.svg" alt="/icons/link_blue.svg" width="40px" /> Link

https://virtuale.unibo.it/course/view.php?id=39560

</aside>

HowToEsame

• Teoria ristretta per esame

TEORIA

• Richiami teorici su linguaggi formali
• Tesi e Macchina di Turing
• Variazioni MdT
• Problema di decisione e decidibilità
• Linguaggio decidibile e riconoscibile
• Proprietà di chiusura

LEZIONE 4

• Macchine a registri
• Il linguaggio WHILE