Berechenbarkeit #05 - Varianten von Turing-Maschinen

Описание к видео Berechenbarkeit #05 - Varianten von Turing-Maschinen

Wir sehen uns eine Übersicht über die verschiedenen Varianten von Turing-Maschinen an, z.B. nichtdeterministische Turing-Maschinen (NTMs) und Mehrband-Maschinen.

Wichtig: All diese Varianten sind gleich mächtig, d.h. sie können alle genau die gleichen Sprachen akzeptieren. Ein Zeichen für die Robustheit der Definition von TMs, sowie ein starkes Indiz für die Richtigkeit der Church-Turing-These.

Комментарии

Информация по комментариям в разработке