107. Video Theoretische Informatik WS 13/14 - Existenz nichtentscheidbarer Sprachen - unistreams

107. Video der Lehrveranstaltung Theoretische Informatik von Prof. Dr. Morisse von der Hochschule Osnabrück aus dem Wintersemester 2013/14.
Das 107. Video zeigt die Existenz einer akzeptierbaren Sprache, deren Komplement nicht akzeptierbar ist (damit auch die Existenz nicht entscheidbarer Sprachen).