Алгоритмы синтеза дискретных автоматов — Книга посвящена проблеме автоматизации синтеза дискретных автоматов, решаемой на базе системы автоматического программирования, в основу которой положен алгоритмический язык ЛЯПАС (логический язык представления алгоритмов синтеза). Книга содержит детальное и достаточно популярное описание языка ЛЯПАС.