In diesem Video sehen wir uns die Definition von Turing-Maschinen an und klären, wie man mit Turing-Maschinen formale Sprachen definiert. Die von Turing-Maschinen erkannten Sprachen heißen Turing-erkennbare Sprachen und werden auch als Typ-0-Sprachen bezeichnet. Turing-Maschinen spielen außerdem eine wichtige Rolle in der Theorie der Berechenbarkeit und damit auch in der gesamten theoretischen Informatik. Grafik: „Alan Turing Aged 16“ von Unbekannt - http://www.turingarchive.org/viewer/?id=521&title=4. Lizenziert unter Gemeinfrei über Wikimedia Commons - https://commons.wikimedia.org/wiki/File:Alan_Turing_Aged_16.jpg#/media/File:Alan_Turing_Aged_16.jpg