Handbook of Automata Theory
Jean-Éric Pin
Abstract
International audience
Topics & Concepts
DecidabilityMathematical proofAutomatonFormal languageSection (typography)Presentation (obstetrics)Computer scienceAutomata theoryAlgebra over a fieldMathematicsProgramming languagePure mathematicsTheoretical computer scienceOperating systemGeometryRadiologyMedicinesemigroups and automata theoryAdvanced Algebra and LogicLogic, programming, and type systems