Theorie der Berechnung

Definition - Was bedeutet Berechnungstheorie?

In der Informatik bietet die Berechnungstheorie eine Art „einheitliche Feldtheorie“ für die Funktionsweise von Computern. Es verwendet die Elemente der automatischen Theorie, der Berechenbarkeitstheorie und der rechnerischen Komplexitätstheorie, um die Natur von Rechenproblemen und die Ausführung von Rechenoperationen zu verstehen.

Technische.me erklärt die Berechnungstheorie

Verschiedene Werkzeuge fungieren als Teil der Berechnungstheorie, darunter ein Alphabet, das als endliche Elemente einer bestimmten Zeichenfolgenmöglichkeit definiert ist - und verschiedene Modelle wie das Turing-Modell. Im Allgemeinen befasst sich die Berechnungstheorie mit der Effizienz von Algorithmen und der Schwierigkeit von Rechenproblemen. Der Automatenansatz kann ein System auf einer bestimmten Abstraktionsbasis bewerten, wobei sich eine Berechenbarkeitstheorie mehr auf die Mathematik eines Algorithmus konzentrieren kann. Unter Verwendung aller Aspekte eines Ansatzes der kollektiven Berechnungstheorie können Fachleute wirklich untersuchen, was es bedeutet, ein bestimmtes Problem mit der Berechnung zu „lösen“.