AS

Arto Salomaa

finlandés

Arto Salomaa es un matemático y científico de la computación finlandés, conocido por sus contribuciones en teoría de autómatas y lenguajes formales. Es relevante por su trabajo en la formalización de la computación y su influencia en la informática teórica.

Obras en el archivo

15 títulos

Un texto fundamental que introduce los conceptos de lenguajes formales, autómatas y complejidad computacional, sentando las bases teóricas de la informática.

Un tratado exhaustivo sobre los lenguajes formales, proporcionando una base matemática rigurosa para su estudio, con un enfoque en una amplia gama de jerarquías y propiedades.

Este libro presenta un análisis exhaustivo de los autómatas finitos y su teoría, explorando tanto los fundamentos como las aplicaciones en la computación y la teoría de lenguajes formales.

Este libro ofrece una introducción a los lenguajes formales y la teoría de autómatas, abordando sus fundamentos y aplicaciones en la computación y la lingüística. Es una referencia esencial para estudiantes y profesionales en el área.

Autores relacionados

Aparecen junto a Arto Salomaa en búsquedas del archivo