Формализованные аппараты представления систем: Виды и примеры