Формализация типов ОС (классификация) ОС