Slides for the presentation to be given on 29th of April as part of Foundations of Computation 2 unit.