SWITCH - технология

Излагается технология алгоритмизации и программирования задач логического управления на основе теории автоматов. Центральным понятием разрабатываемого подхода является понятие «состояние». Обоснован выбор графов переходов в качестве языка спецификаций. Предложено использовать многозначное кодирование и конструкции, аналогичные конструкции switch языка СИ, для программной реализации автоматов. Применение пентады (состояние—независимость от «глубокой» предыстории — система взаимосвязанных графов переходов—многозначное кодирование—конструкция switch) обеспечивает наглядность, структурность, вызываемость, вложенность, иерархичность» управляемость и наблюдаемость программ, а также их изоморфизм (изобразительную эквивалентность) со спецификациями, по которым программы формально строятся. Это позволяет Заказчику, Технологу (Проектанту), Разработчику, Программисту, Оператору (Пользователю) и Контролеру однозначно понимать друг друга, разделять работу и ответственность, легко и корректно вносить изменения. Изложены методы программирования рассматриваемого класса задач на алгоритмических языках высокого уровня, ассемблерах, языках инструкций, функциональных и лестничных схем, используемых в промышленных (управляющих) компьютерах и программируемых логических контроллерах.Книга предназначена для специалистов в области информатики, вычислительной техники и систем управления.