Формальные возможности: Обзор и примеры