В учебном пособии содержаться теоретические сведения и необходимые рекомендации к выполнению лабораторных работ по дисциплине "Теория вычислительных процессов" в соответствии с государственным образовательным стандартом высшего профессионального образования.
Рассмотрены основы теоретического программирования: вычислимость и разрешимость, одноленточные автоматы, автоматы Мили и Мула, схемы программ, сети Петры.
Теоретический материал сопровождается примерами и задачами с решениями.
Учебное пособие предназначено для студентов дневной и заочной формы обучения по направлению подготовки 230100 "Информатика и вычислительная техника" и специальности 230105 - Программное обеспечения вычислительной техники и и автоматизированных систем.