Cперанский, Д. В. Теория экспериментов с конечными автоматами : Учебное пособие