Theorien, die zu weit gefasst sind, werden oft in Untertheorien oder Zweige unterteilt. Eine solche Aufteilung ermöglicht es, sich der Theorie effizient zu nähern und sie zu lernen. Die Berechnungstheorie ist in vier Hauptzweige unterteilt. Viele Menschen betrachten diese Zweige als einzelne Untertheorien (Untertheorien und Zweige sind unterschiedliche Begriffe). Diese Hauptzweige / Untertheorien lauten wie folgt:
Automatentheorie
Formale Sprachtheorie
Berechenbarkeitstheorie
Computational Complexity Theory
Hierbei ist zu beachten, dass viele Theorien die Automatentheorie und die formale Sprachtheorie als individuelle Konzepte behandeln. Dies gilt auch für die umgekehrte Situation. Viele behandeln sie als Ganzes. In diesem Buch werden sie als individuelle Konzepte beschrieben. Sie werden jedoch viele Verbindungen zwischen ihren Konzepten finden. Die gesamte Struktur der Berechnungstheorie ist der Beschreibung der Fähigkeiten und Grenzen eines modernen Computersystems gewidmet. in Bezug auf die Lösung eines bestimmten Problems (Dieser Prozess umfasst verschiedene Schritte und Operationen).
Modell von Berechnungen sind mathematische Abstraktionen von Computern und ihrer Funktionalität. Diese Modelle werden verwendet, um Studien und Forschungen in Bezug auf Computer und verschiedene von ihnen bereitgestellte Funktionen (Fähigkeiten, Einschränkungen usw.) zu beschreiben. Diese Rechenmodelle werden entsprechend den von ihnen bereitgestellten Merkmalen und Ergebnissen in verschiedene Typen unterteilt. Die Drehmaschine ist eines dieser vielen Rechenmodelle. Auf dieses Modell wird hier Bezug genommen, da es im Vergleich zu anderen Rechenmodellen wohl das vernünftigste und leistungsfähigste Modell ist. Dieses Modell hat eine einfache und unkomplizierte Struktur, die leicht zu interpretieren und zu verstehen ist, was den Formulierungs- und Analyseprozess erheblich erleichtert. Andere Modelle sind der Ansicht, dass eine unendliche Speicherkapazität wesentlich ist, um Ergebnisse im Zusammenhang mit entscheidbaren Problemen zu erzielen. Jedoch, Die Drehmaschine benötigt nur eine begrenzte Menge an Speicher, um ein entscheidbares Problem zu lösen und Ergebnisse zu liefern. Dies bedeutet, dass ein Drehmodell ein Problem lösen kann. Das gleiche Problem kann mit jedem anderen Computer gelöst werden, der über eine begrenzte Menge an verfügbarem Speicher verfügt.
Einige Forscher bestritten jedoch, dass das Drehmodell das zuverlässigste Modell ist. Sie leugnen nicht seine Funktionen oder Fähigkeiten, weisen jedoch auf einige Einschränkungen hin, die die Tatsache ignorieren, dass sie praktisch noch nicht bewiesen sind.
Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, CY, CZ, D, DK, EW, E, FIN, F, GR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.