Correttezza

• non è decidibile

• esempio: Halting problem

Previous slide

Next slide

Back to first slide

View graphic version