Формальный синтаксис - перевод на английский язык, синонимы, произношение, примеры предложений, антонимы

Формальный синтаксис - перевод на английский, синонимы, антонимы, примеры в контексте
formal syntax
Translate
формальный синтаксис -

- формальный

имя прилагательное: formal, official, pro forma, perfunctory, ceremonial, regular, solemn

- синтаксис [имя существительное]

имя существительное: syntax



Формальная теория языка возникла из лингвистики, как способ понимания синтаксических закономерностей естественных языков.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Formal language theory sprang out of linguistics, as a way of understanding the syntactic regularities of natural languages.

Хомский также утверждает, что строго формальная, несемантическая структура синтаксической теории в конечном счете может быть полезна для поддержки параллельной независимой семантической теории.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Chomsky also claims that a strictly formal, non-semantic framework of syntactic theory might ultimately be useful to support a parallel independent semantic theory.

Синтаксис языка позволяет точно определять ограничения на общие формальные параметры.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

The language syntax allows precise specification of constraints on generic formal parameters.

Эти формальные элементы включают семантику, синтаксис, фонетику, контекст, представление и формальную дикцию.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

These formal elements include semantics, syntax, phonetics, context, representation, and formal diction.

Я заметил, что вы изменили мою таблицу на синтаксис канала wiki есть ли формально выраженное предпочтение где-либо, для какого синтаксиса использовать?

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

I notice you changed my table to the wiki pipe syntax is there a formally expressed preference anywhere for which syntax to use?

Благодаря своей формально-логической трактовке языка синтаксические структуры также сблизили лингвистику и новую область информатики.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

With its formal and logical treatment of language, Syntactic Structures also brought linguistics and the new field of computer science closer together.

Языки высокого уровня-это формальные языки, строго определенные своим синтаксисом и семантикой, которые формируют архитектуру языка высокого уровня.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

High-level languages are formal languages that are strictly defined by their syntax and semantics which form the high-level language architecture.

Подстановка-это синтаксическое преобразование формальных выражений.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

A substitution is a syntactic transformation on formal expressions.

Формальные языки являются полностью синтаксическими по своей природе, но могут быть наделены семантикой, которая придает смысл элементам языка.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Formal languages are entirely syntactic in nature but may be given semantics that give meaning to the elements of the language.

Автоматы играют важную роль в теории вычислений, построении компиляторов, искусственном интеллекте, синтаксическом анализе и формальной верификации.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Automata play a major role in theory of computation, compiler construction, artificial intelligence, parsing and formal verification.

Формальная система может быть синтаксически неполной по замыслу, как это обычно бывает с логикой.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

A formal system might be syntactically incomplete by design, as logics generally are.

Преднамеренное использование свободных монад может показаться на первый взгляд непрактичным, но их формальная природа особенно хорошо подходит для решения синтаксических задач.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Using free monads intentionally may seem impractical at first, but their formal nature is particularly well-suited for syntactic problems.

Синтаксическое следствие не зависит ни от какой интерпретации формальной системы.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Syntactic consequence does not depend on any interpretation of the formal system.

Формальное изучение семантики пересекается со многими другими областями исследования, включая лексикологию, синтаксис, прагматику, этимологию и другие.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

The formal study of semantics intersects with many other fields of inquiry, including lexicology, syntax, pragmatics, etymology and others.

Такие признаки, как слова, n-граммы или синтаксические n-граммы, могут быть очень похожи, хотя формально они рассматриваются как различные признаки в VSM.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Features such as words, n-grams, or syntactic n-grams can be quite similar, though formally they are considered as different features in the VSM.

Markdown также использует отступы как часть формального синтаксиса языка.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Markdown also uses indentation as part of the formal syntax of the language.

Другие авторы предложили альтернативные характеристики мягкой контекстной чувствительности, Некоторые из которых принимают форму формальных определений.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Other authors have proposed alternative characterizations of mild context-sensitivity, some of which take the form of formal definitions.

Мы настоятельно призываем правительства в течение пяти лет реализовать этот подход как в формальном, так и в неформальном образовании.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

We urge Governments to implement this approach in both formal and informal education within five years.

Затем можно будет провозгласить формальное начало работы Трибунала 18 октября 1996 года с официальной церемонией принятия присяги членами, которые после этого могут возобновить работу на исполнительной сессии в течение оставшихся двух недель.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

This could be followed by the inauguration of the Tribunal on 18 October 1996, with a formal session at an open swearing-in ceremony for the judges.

Формальная аннексия Крыма подтолкнет Украину к НАТО, и европейские государства станут противовесом России.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

A formal annexation of Crimea will drive Ukraine closer to NATO and lead European states to balance against Russia.

Формально говоря люди, которых ты переехал были не на твоей собственности в тот момент когда ты их переехал.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Legally speaking, these people you ran over were not on your property at the time you ran them over.

Прошение парализованного Рамона Сампедро об эвтаназии вчера было отклонено из-за несоблюдения бюрократической формальности.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

The demand of the tetraplegic Ramon Sampedro requesting the euthanasia... was rejected yesterday by the tribunals due to defects in its form

Долэн и Коул превосходно разбираются в финансовой и формально-юридической стороне дела, и они сумеют выполнить все мои распоряжения.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Both Dolan and Cole are men who understand the financial and executive side of things, and I'm sure they would carry out my wishes.

На моих уроках принято обращаться друг к другу исключительно формально.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

In my class we are going more formal with each other.

Без всякого следствия? Без всяких формальностей?

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Without any inquiry, without any formality?

Нет... Нужно найти синтаксис и отметить его.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

No... it's supposed to find the syntax and match it.

Тогда, с вашего позволения, оставим формальности совсем.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

I shall remain informal then.

Я совершу все формальности, когда приедет её отец.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

I will do the formality of signing afteryour MP comes here.

В формальном употреблении мандаринского языка использование уменьшительных сравнительно нечасто, так как они, как правило, считаются скорее разговорными, чем формальными.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

In formal Mandarin usage, the use of diminutives is relatively infrequent, as they tend to be considered to be rather colloquial than formal.

Разрешение на применение военной силы против Ирака резолюция 1991 года была более близким голосованием, но это не было формальным объявлением войны.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

The Authorization for Use of Military Force Against Iraq Resolution of 1991 was a closer vote, but it was not a formal declaration of war.

Угол может быть ограничен от 0° до 180°, но углы формально неоднозначны кратными 360°.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

The angle can be restricted to be from 0° to 180°, but angles are formally ambiguous by multiples of 360°.

Термин non sequitur обозначает общую формальную ошибку, часто подразумевая ту, которая не принадлежит к какому-либо названному подклассу формальных ошибок, таких как утверждение следствия.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

The term non sequitur denotes a general formal fallacy, often meaning one which does not belong to any named subclass of formal fallacies like affirming the consequent.

Из-за большого разнообразия документов, которые могут быть выражены с помощью синтаксиса XML, необходимы дополнительные типы MIME, чтобы различать языки.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Because of the wide variety of documents that can be expressed using an XML syntax, additional MIME types are needed to differentiate between languages.

Синтаксис словаря аналогичен синтаксису набора, разница заключается в наличии двоеточий.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

The dictionary syntax is similar to the set syntax, the difference is the presence of colons.

Однако специальные языки преобразования моделей могут предложить преимущества, такие как синтаксис, позволяющий легко ссылаться на элементы модели.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

However, special-purpose model transformation languages can offer advantages, such as syntax that makes it easy to refer to model elements.

В иудаизме нет формального катехизиса.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Judaism does not have a formal catechism.

Формальная верификация программ предполагает доказательство того, что программа удовлетворяет формальной спецификации своего поведения.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Formal verification of software programs involves proving that a program satisfies a formal specification of its behavior.

Различные записи не прилипают к формальным сюитам, но включают в себя другие элементы.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Various recordings do not stick to the formal suites but include other items.

Примеры petitio principii формально логичны, а на самом деле логически обоснованны – то есть вывод действительно вытекает из предпосылки – они тавтологичны.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Instances of petitio principii are formally logical, and in fact logically valid – that is, the conclusion does follow from the premise – they are tautological.

Можно переписать грамматику, чтобы включить это в синтаксис.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

It is possible to rewrite the grammar to incorporate this into the syntax.

В присутствии собравшейся элиты духовенства королевства он дал формальный обет своей религии и своей приверженности защите веры.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

In the presence of assembled elite clergy of the kingdom, he took a formal vow of his religion and his commitment to defend the faith.

Согласованное определение и синтаксис урн пришлось отложить до публикации RFC 2141 в мае 1997 года.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

The agreed definition and syntax of URNs had to wait until the publication of RFC 2141 in May 1997.

Йога-сутры Патанджали широко рассматриваются как первая компиляция формальной философии йоги.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Patanjali's Yoga Sutras are widely regarded as the first compilation of the formal yoga philosophy.

Хейлз подсчитал, что для получения полного формального доказательства потребуется около 20 лет работы.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Hales estimated that producing a complete formal proof would take around 20 years of work.

25-я поправка к Конституции Соединенных Штатов еще не была предложена, и вице-президент не имел формальных полномочий действовать.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

The 25th Amendment to the United States Constitution had not yet been proposed, and the Vice President had no formal power to act.

Principia Mathematica была важной работой в области формальной логики, написанной Альфредом Нортом Уайтхедом и Бертраном Расселом.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Principia Mathematica was a milestone work in formal logic written by Alfred North Whitehead and Bertrand Russell.

Синтаксическое движение-это средство, с помощью которого некоторые теории синтаксиса обращаются к разрывам.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Syntactic movement is the means by which some theories of syntax address discontinuities.

Наиболее широко распространенным мнением о том, как лучше всего объяснить логические следствия, является обращение к формальности.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

The most widely prevailing view on how to best account for logical consequence is to appeal to formality.

Некоторые Ньюфаундлендские английские языки отличаются произношением гласных, морфологией, синтаксисом и сохранением архаичных деепричастий-интенсификаторов.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Some Newfoundland English differs in vowel pronunciation, morphology, syntax, and preservation of archaic adverbial-intensifiers.

С помощью насильственной экономической тактики и юридических формальностей афроамериканцы были вынуждены делиться и постепенно отстранялись от процесса голосования.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Through violent economic tactics and legal technicalities, African-Americans were forced into sharecropping and were gradually removed from the voting process.

Эти наблюдения подтвердили теоретические утверждения Хомского о синтаксических структурах.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

These observations validated the theoretical claims of Chomsky in Syntactic Structures.

Наиболее часто Гельветизмы встречаются в лексике и произношении, но есть также некоторые отличительные черты в синтаксисе и орфографии.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

The most frequent Helvetisms are in vocabulary and pronunciation, but there are also some distinctive features within syntax and orthography.

Однако формальное название среднесрочного перерыва было предпочтительным общим термином.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

However, the formal title of Mid-term Break has been the preferred generic term.

Формально его получают из уксусной кислоты.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

It is formally derived from acetic acid.

Посмотрите на любой учебник формальной логики и сравните, что написано об индукции и что о бесконечном спуске.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Look to any textbook of Formal Logic and compare what is written about induction and what about infinite descent.

Другой подход использует формальные методы для получения доказательств того, что код соответствует требованиям.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Another approach uses formal methods to generate proofs that the code meets requirements.

Это был экспериментальный подход к науке, который не стремился к знанию формальных или конечных причин.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

It was an experimental based approach to science, which sought no knowledge of formal or final causes.

Статья о гипотезе Римана содержит много формальностей, но она также содержит изрядное количество материала, чтобы вознаградить широкого читателя.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

The Riemann hypothesis article contains a lot of technicality, but it also contains a fair amount of material to reward the general reader.

Одним из интересных результатов теории автоматов является то, что невозможно спроектировать распознаватель для некоторых формальных языков.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

One of the interesting results of automata theory is that it is not possible to design a recognizer for certain formal languages.



Предлагаем Вашему вниманию современный англо-русский и русско-английский словарь EnglishLib, в котором содержиться более 2 000 000 слов и фраз. На этой странице содержится полезная информации о фразе «формальный синтаксис». А именно, здесь можно найти перевод (значение) «формальный синтаксис» на английском языке, синонимы, антонимы, краткое определение слов: формальный, синтаксис . Также, к фразе «формальный синтаксис» представлено грамотно составленные примеры предложений для лучшего восприятия слова в контексте.

0You have only looked at
% of the information