Théorie du calcul
La théorie du calcul est la branche qui traite de la manière dont les problèmes peuvent être résolus efficacement sur un modèle de calcul, à l'aide d'un algorithme.
Le champ est divisé en trois branches principales: la théorie des automates et langues, c la théorie de omputability, et la théorie de la complexité de calcul, qui sont liés par la question: « Quels sont les fondamentaux chapeau capacités et limitations d'ordinateurs ».
Afin de réaliser une étude rigoureuse du calcul, les informaticiens travaillent avec une abstraction mathématique d’ordinateurs appelée modèle de calcul. Plusieurs modèles sont utilisés, mais le plus couramment examiné est la machine de Turing.
Les informaticiens étudient la machine de Turing, car il est simple à formuler, peuvent être analysées et utilisées pour pro cinq résultats et Beca l’utiliser représente ce que beaucoup considèrent comme le modèle « raisonnable » possible le plus puissant de calcul (voir Thèse de Church). Il peut sembler que la capacité mémoire potentiellement infinie est un attribut irréalisables, mais tout décidable problème résolu par une machine de Turing toujours besoin d’o eul une quantité finie de mémoire. Donc, en principe, tout problème pouvant être résolu par une machine de Turing peut être résolu par un ordinateur disposant d'une mémoire limitée.
