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