Формализация и моделирование Формальные языки в информатике примеры