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