Teoria de la computació: diferència entre les revisions

La '''teoria de la computació''' és una [[ciència]], en particular una branca de la [[matemàtica]] i de la [[Ciències de la computació|computació]] que centra el seu interès en l'estudi i definició formal dels còmputs. Rep el nom de còmput l'obtenció d'una solució o resultat (generalment en el sentit matemàtic/aritmètic del terme), a partir de certs [[dades]] o entrades utilitzant per a això un procés o [[algorisme]].

 

La teoria de la computació té diverses branques pròpies, entre elles:

* La [[Llenguatge formal|Teoria dels llenguatges i gramàtiques formals]], que és l'estudi i processament de llenguatges artificials, a través de la utilització de models simplificats de còmput, com són les [[autòmat finit|autòmats finits]] i els [[autòmat amb pila|autòmats amb pila]].