Настоящая книга является переводом сборника статей по теории автоматов. Это - молодая научная дисциплина (отрасль кибернетики), возникшая под влиянием запросов техники цифровых вычислительных машин и моделирующих устройств. Сборник отражает различные аспекты теории автоматов. Некоторые статьи посвящены вопросам, связанным с конструированием автоматов. Другие интересы главным образом с теоретико-познавательной точки зрения.
В сборнике три раздела: 1 -- посвящен контекстно-свободным языкам и открывается классической статьей Д.Кунта о языках, допускающих однопроходной анализ, в других статьях рассматривается скорость распознования языков и алгоритмические проблемы. Во 2 разделе излагаются грамматики более общего вида - индексные, контекстные и грамматики с рассеянным контекстом. Несколько основополагающих статей третьего раздела посвящены аксиоматическому описанию языков.