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