-
101 language definition
спецификации (описание, определение) языка программированиясостит из трёх главных частей: синтаксиса (syntax), семантики (semantics) и прагматики (pragmatics).The only way to master formal methods of language definition is to practice writing and reading language specifications. (К. Slonneger) — Единственный способ освоения формальных методов описания языков программирования - это практическое составление и чтение спецификаций ЯВУ.
Syn:Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > language definition
-
102 formal method: A software engineering method that uses a formal specification language — that is, a language with mathematically defined syntax and semantics
Общая лексика: формальный метод: метод проектирования программ, в котором используется язык формальных спеУниверсальный англо-русский словарь > formal method: A software engineering method that uses a formal specification language — that is, a language with mathematically defined syntax and semantics
-
103 formal specification language
Большой англо-русский и русско-английский словарь > formal specification language
-
104 formal specification language
Англо-русский словарь технических терминов > formal specification language
-
105 Formal Definitions. English, or any other human language, is not naturally a precision instrument for such definitions
Универсальный англо-русский словарь > Formal Definitions. English, or any other human language, is not naturally a precision instrument for such definitions
-
106 formal layout description language
Микроэлектроника: язык формального описания топологииУниверсальный англо-русский словарь > formal layout description language
-
107 formal semantic language
Техника: формальный семантический языкУниверсальный англо-русский словарь > formal semantic language
-
108 formal specification language
Техника: язык формальных спецификацийУниверсальный англо-русский словарь > formal specification language
-
109 Formal Object Role Modelling Language
Information technology: FORMLУниверсальный русско-английский словарь > Formal Object Role Modelling Language
-
110 formal semantic language
Engineering: FSLУниверсальный русско-английский словарь > formal semantic language
-
111 formal layout description language
мова формального опису топологіїEnglish-Ukrainian dictionary of microelectronics > formal layout description language
-
112 formalized language
English-Russian dictionary of mechanical engineering and automation > formalized language
-
113 programming language
языки программирования - это формальные искусственные языки ( artificial language), которые относятся к широкому классу ПО, называемому "инструментальным ПО" (см. software tool), и предназначены для написания компьютерных программ. Они позволяют программисту выражать обработку данных в символьном виде, избегая в той или иной степени зависимости от конкретного аппаратного обеспечения. В мире насчитывается более четырёх тысяч различных языков программирования. Языки программирования делятся на языки высокого уровня (ЯВУ) и языки низкого уровня, к которым относятся ассемблеры и машинно-зависимые языки. Кроме того, языки программирования бывают декларативными, процедурными, объектно-ориентированными, проблемно-ориентированными, функциональными. Языки программирования с точки зрения их исполнения компьютерной системой делятся также на последовательные (sequential language) и параллельные (concurrent programming language), компилируемые (compiling programming language) и интерпретируемые (interpretive language). Наконец, по области применения ЯВУ делятся на языки общего назначения и специализированные. Каждый язык программирования имеет собственную грамматику (grammar) и синтаксис (syntax).Syn:см. тж. 1GL, 2GL, 3GL, 4GL, 5GL, assembler, compiler, declarative language, dynamic language, formal language, high-level language, interactive language, language, language definition, language extension, language implementation, machine language, OOP, problem-oriented language, procedural language, programming language theory, simulation language, typed language, vocabularyАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > programming language
-
114 mathematical language
LISP is a formal mathematical language. — Лисп - формализованный математический язык см. тж. formal language
Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > mathematical language
-
115 unit of language
-
116 habla formal
f.formal language. -
117 lenguaje formal
m.formal language. -
118 relación formal
(n.) = formal relationEx. A formal relation is a relation between concepts represented by terms or classes in an indexing language.* * *(n.) = formal relationEx: A formal relation is a relation between concepts represented by terms or classes in an indexing language.
-
119 Lenguaje Estándar Universal para el Análisis Formal de Documentos
Lenguaje Estándar Universal para el Análisis Formal de Documentos (SGML)Ex: The documents in the archive are encoded with the Standard Generalized Markup Language, which views a document as a hierarchical organisation of document elements.
Spanish-English dictionary > Lenguaje Estándar Universal para el Análisis Formal de Documentos
-
120 lenguaje para el análisis formal de documentos web
(n.) = markup languageEx. The author considers the need for standardisation to facilitate the interchange of data and describes how this might be achieved through a markup language such as SGML.* * *(n.) = markup languageEx: The author considers the need for standardisation to facilitate the interchange of data and describes how this might be achieved through a markup language such as SGML.
Spanish-English dictionary > lenguaje para el análisis formal de documentos web
См. также в других словарях:
Formal Language — Formal Language, formale Sprache … Universal-Lexikon
Formal language — A formal language is a set of words , i.e. finite strings of letters , or symbols . The inventory from which these letters are taken is called the alphabet over which the language is defined. A formal language is often defined by means of a… … Wikipedia
formal language — See formal system, logical calculus … Philosophy dictionary
formal language — noun A set of finite strings (called sentences) over a specified finite alphabet … Wiktionary
List of formal language and literal string topics — This is a list of formal language and literal string topics, by Wikipedia page. Contents 1 Formal languages 2 Literal strings 3 Classical cryptography Formal languages Abstract syntax tree … Wikipedia
Language merger — Language merger, in linguistics, is a theoretical phenomenon whereby two or more distinct languages combine to form a single language. It is a controversial concept among linguists, who are divided over whether it represents an actual phenomenon … Wikipedia
Formal interpretation — A formal interpretation [http://books.google.com/books?id=weKqT3ka5g0C pg=PA74 lpg=PA74 dq=%22Formal+interpretation%22+%22formal+language%22 source=web ots=pLN ms7Wi2 sig=P JqwdzOqLcX4nMpP64qmacnkDU hl=en#PPA74,M1 Cann Ronnie, Formal Semantics:… … Wikipedia
Formal system — In formal logic, a formal system (also called a logical system,Audi, Robert (Editor). The Cambridge Dictionary of Philosophy . Second edition, Cambridge University Press, 1999. ISBN 978 0521631365 (hardcover) and ISBN 978 0521637220 (paperback).] … Wikipedia
Formal proof — See also: mathematical proof, proof theory, and axiomatic system A formal proof or derivation is a finite sequence of sentences (called well formed formulas in the case of a formal language) each of which is an axiom or follows from the… … Wikipedia
Formal grammar — In formal semantics, computer science and linguistics, a formal grammar (also called formation rules) is a precise description of a formal language ndash; that is, of a set of strings over some alphabet. In other words, a grammar describes which… … Wikipedia
Language — This article is about the properties of language in general. For other uses, see Language (disambiguation). Cuneiform is one of the first known forms of written language, but spoken language is believed to predate writing by tens of thousands of… … Wikipedia