106. Video Theoretische Informatik WS 13/14 - Entscheidbarkeit einer Sprache - unistreams

106. Video der Lehrveranstaltung Theoretische Informatik von Prof. Dr. Morisse von der Hochschule Osnabrück aus dem Wintersemester 2013/14.
Das 106. Video führt den Nachweis, dass eine Sprache L genau dann entscheidbar ist, wenn sowohl L als auch das Komplement von L akzeptierbar sind.