Este documento discute la naturaleza de la computación y las computadoras. Explica que la computación va más allá de las propias computadoras, al igual que la astronomía va más allá de los telescopios. Define las partes clave de una computadora y lo que hacen. También introduce la jerarquía de Chomsky, que clasifica los lenguajes formales de acuerdo con la complejidad de la gramática y la máquina requerida para reconocerlos. Finalmente, menciona algunos pioneros de la computación teórica como Chomsky, T