Predmetom etoj knigi yavlyaetsya paradigma avtomatnogo programmirovaniya. Avtomatnoe programmirovanie, inache nazyvaemoe "programmirovanie ot sostoyanij," ili "programmirovanie s yavnym vydeleniem sostoyanij," - eto metod razrabotki programmnogo obespecheniya (PO), osnovannyj na rasshirennoj modeli konechnyh avtomatov i orientirovannyj na sozdanie shirokogo klassa prilozhenij