В книге изложены теория множеств и отношений, абастрактная алгебра, теория графов, теория булевых функций, теория формальных языков, теория конечных автоматов, теория регулярных языков, теория контекстно-свободных языков и котекстных автоматов. Учебник для студентов вузов. Тираж 2000 экз.