ОСНОВНЫЕ ФОРМАЛИЗОВАННЫЕ ЯЗЫКИ ОПИСАНИЯ ЛОГИЧЕСКИХ СИСТЕМ УПРАВЛЕНИЯ