Teoria de la computació

La teoria de la computació és un conjunt de coneiximents racionals, sistematisats i funcionals que se centren en l'estudi de la abstracció dels processos que ocorren en la realitat en la finalitat de reproduir-los en ajuda de sistemes formals, és dir, a través de còdics de caràcters i instruccions llògiques, reconeixibles pel ser humà, en capacitat de ser modelades en les llimitacions de dispositius que processen informació i que efectuen càlculs com, per eixemple, el ordenador. Per a això, es recolza en la teoria d'autómates, a fi de simular i estandardisar dits processos, aixina com per a formalisar els problemes i donar-los solució.