por Arto Salomaa · 1969
Sinopsis
Una obra fundamental en el campo de la teoría de autómatas, que explora los modelos matemáticos de la computación, los lenguajes formales y la complejidad computacional.
Sé el primero en valorar este libro.
Otras obras del mismo autor en el catálogo
Libros relacionados según distintos criterios de búsqueda
George Dyson·2012·no ficcion
Mientras que Salomaa se enfoca en la teoría abstracta de autómatas, Dyson traza la genealogía intelectual de la computación, revelando que las ideas fundamentales de los autómatas provienen de una rica interacción de pensadores a lo largo de la historia, mucho antes de la implementación de hardware.
Douglas R. Hofstadter·1979·filosofia
Aunque no es un texto formal de teoría de autómatas, la obra de Hofstadter aborda profundamente los mismos fundamentos lógicos y computacionales que subyacen a los autómatas, como la recursión, la auto-referencia y los sistemas formales, pero desde una perspectiva mucho más amplia y humanista. Es una expansión filosófica de lo que Salomaa trata formalmente.
Michael Sipser·1997·no ficcion
Este libro comparte la misma profundidad y rigor filosófico que Salomaa al explorar los límites fundamentales de lo que puede ser computado y qué significa 'comportamiento programado'. Ambos autores buscan desentrañar la esencia teórica de la computación con un enfoque formal y abstracto.
Alfred North Whitehead, Bertrand Russell·1910·filosofia
Aunque de un siglo anterior y con un enfoque puramente lógico-matemático, los 'Principia Mathematica' resuenan con la búsqueda de Salomaa por la formalización y la construcción rigurosa de sistemas. Ambos exploran cómo los sistemas con reglas bien definidas pueden generar comportamientos complejos y cómo se puede razonar sobre ellos de manera abstracta y sistemática.
Rudolf F. Vollmar·1974·no ficcion
Vollmar, un autor alemán, ofrece una perspectiva complementaria a la de Salomaa, contextualizando los autómatas dentro del marco más amplio de la teoría general de sistemas, un enfoque que puede ser menos común en los textos anglosajones de computación pero que es crucial para entender las máquinas como entidades con 'comportamiento programado' y sus interacciones. Su trabajo explora las implicaciones teóricas de los autómatas desde una base filosófica similar a la de Salomaa, pero con un enfoque en la teoría de sistemas.
Gheorghe Păun·1996·no ficcion
Păun, un destacado informático rumano, amplía las ideas fundacionales de Salomaa sobre autómatas y gramáticas, aplicándolas a la semántica y complejidad de los programas. Mientras Salomaa sienta las bases teóricas, Păun las lleva a una reflexión más elaborada sobre el significado y la eficiencia del comportamiento programado. Su trabajo es menos conocido fuera de círculos especializados en el este de Europa, pero altamente influyente en la lingüística matemática y la computación.
Mario Bunge·1985·filosofia
Este libro refleja la aproximación de Salomaa al formalismo. Al igual que Salomaa descompone el 'comportamiento programado' en elementos discretos y reglas de transición (la sintaxis de los autómatas), Bunge descompone la 'sintaxis de las imágenes' en sus componentes estructurales y sus interrelaciones formales, para entender cómo construyen significado de manera análoga a un lenguaje o un sistema de autómatas.
W. Ross Ashby·1956·no ficcion
Ashby, como Salomaa, se preocupa por formalizar y entender sistemas complejos a partir de sus componentes y reglas de interacción. Aunque Ashby se enfoca en el comportamiento adaptativo y la regulación (lo que Salomaa llamaría 'comportamiento programado' en un contexto más amplio), ambos autores usan una estructura de pensamiento similar: descomponer un sistema en sus estados, transiciones y mecanismos de control para predecir y analizar su funcionamiento. La estructura de argumentación es muy similar, partiendo de lo simple hacia lo complejo y buscando leyes generales.
