Перевод «теория формальных языков» на английский

24 / 5000

Ваш текст переведен частично.
Вы можете переводить не более 5000 символов за один раз.

переведено

Словарь: "теория формальных языков" - переводы и примеры

теория формальных языков ж.р. существительное Склонение

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

Примеры предложений с "теория формальных языков"

В его великой книге «Общая теория занятости, процента и денег» нет никаких формальных моделей. There is no formal model in his great book The General Theory of Employment, Interest, and Money.

Требование исполнения такого акта в письменной форме не требует пространных объяснений, и правил Венских конвенций самих по себе достаточно: хотя теория параллелизма формы не признана в международном праве, безусловно, представляется разумным требовать выполнения некоторых формальных требований в отношении снятия возражений, которое точно так же, как и в случаях оговорок, должно осуществляться в письменной форме. The requirement that it should be in writing does not call for any lengthy explanations, and the rules of the Vienna Conventions are adequate in themselves: while the theory of parallelism of forms is not accepted in international law, it is certainly reasonable to require a certain degree of formality for the withdrawal of objections, which, like reservations themselves, must be made in writing.

Самое важное то, что теория Эммета согласуется с предыдущими теориями физики. It is that Emmet's theory is compatible with previous theories in physics that is of most significance.

Но, с другой стороны, это трагично, когда кандидат с наилучшим предложением дисквалифицирован только из-за формальных недостатков. On the other hand, it is a tragedy, when a bidder with the best offer is excluded on a technicality.

С прошествием веков человечество стало более серьёзным в создании искусственных языков, так как считалось, что естественных не достаточно. As centuries passed, humanity became more serious in implementing constructed languages as they deemed natural ones to be insufficient.

Примеры употребления слов в разных контекстах предоставляются исключительно в лингвистических целях, т. е. для изучения употребления слов в одном языке и вариантов их перевода на другой. Все образцы собраны автоматически из открытых источников с помощью технологии поиска на основе двуязычных данных. Если вы обнаружили орфографическую, пунктуационную или иную ошибку в оригинале или переводе, используйте опцию "Сообщить о проблеме" или напишите нам

Скачать мобильные приложения

Перевод текста и слов, разговорники и словарь — всегда под рукой на iOS и Android.

PROMT для бизнеса · Технологии

Решения PROMT для бизнеса

Для всех подразделений

PROMT Neural Translation Server

Перевод на серверах компании: веб-интерфейс, плагины к офисным приложениям, API для внутренних систем

для отдела переводов

PROMT Translation Factory

Рабочая среда переводчика: память переводов, глоссарии, совместная работа над проектами

для компаний со своей терминологией

PROMT Custom AI

Тюнинг нейронных моделей перевода без навыков программирования

Перевод, который говорит на языке вашей отрасли

Машинный перевод общего назначения ломает терминологию: reactor vessel становится «сосудом реактора» вместо «корпуса». PROMT обучает модели на документах компании и ведёт глоссарии, поэтому термины остаются едиными во всех переводах — от технической документации до деловой переписки.

70+языковых пар

6готовых отраслевых моделей

Атомная энергетика Нефть и газ Фармацевтика ИТ другие

Работает в вашем контуре, без передачи данных вовне

Установка в закрытом контуре

Сервер разворачивается внутри периметра компании. Документы не покидают её сеть и не уходят в облако.

Выбор модели перевода

Собственные нейронные модели PROMT или подключение внешней LLM — в зависимости от задачи и требований службы безопасности.

Масштабирование под нагрузку

Производительность наращивается добавлением узлов: от отдела до всей компании.

Интеграция через API и SDK

Перевод встраивается в СЭД, корпоративные порталы, сайты и внутренние сервисы.

Подберём конфигурацию под задачи и требования безопасности вашей компании. Оставить заявку