Teoría de las máquinas Complejidad computacional 10 Lenguajes formales 9 Procesamiento electrónico de datos 4 Matemáticas 3 LISP (Lenguaje de programación) 2 Modelos matemáticos 2 Adquisición del conocimiento (Sistemas expertos) 1 Algoritmos en informática 1 Autómatas 1 Categorías (Matemáticas) 1 Cibernética 1 Diagnóstico 1 Diseño lógico 1 Electrónica digital 1 Funciones calculables 1 Funciones computables 1 Informática 1 Ingeniería mecánica 1 Inteligencia artificial 1 Interacción hombre-computadora 1 Lenguaje formales 1 Lógica algebraica 1 Maquinaria 1 Monotonic functions 1 Procesamiento de datos 1 Programación (Computadoras) 1 Teoría de funtores 1 Teoría del punto fijo 1 Teoría reticular 1