Визуальное объяснение этапа формализации в информатике на примерах и фотографиях