-
41 derivative (of a formal language)
вывод (формального языка)
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
Англо-русский словарь нормативно-технической терминологии > derivative (of a formal language)
-
42 homomorphic image of a formal language
гомоморфный образ формального языка
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
Англо-русский словарь нормативно-технической терминологии > homomorphic image of a formal language
-
43 semantic-formal language
descriptive language — дексриптивный язык; описательный язык
-
44 semantic-formal language
Большой англо-русский и русско-английский словарь > semantic-formal language
-
45 homomorphic image of a formal language
Вычислительная техника: гомоморфный образ формального языкаУниверсальный англо-русский словарь > homomorphic image of a formal language
-
46 semantic-formal language
1) Математика: семантически формальный язык2) Вычислительная техника: формально-семантический языкУниверсальный англо-русский словарь > semantic-formal language
-
47 semantic-formal language
English-Russian dictionary of computer science and programming > semantic-formal language
-
48 semantic-formal language
English-Russian scientific dictionary > semantic-formal language
-
49 homomorphic image of a formal language
English-Russian information technology > homomorphic image of a formal language
-
50 ♦ formal
♦ formal /ˈfɔ:ml/A a.1 formale; esplicito; solenne; regolare: formal offer, offerta formale; formal invitation, invito formale; (leg.) formal contract, contratto formale2 ufficiale: formal consultations, consultazioni ufficiali; formal denial, smentita ufficiale; formal enquiry, inchiesta ufficiale3 formale; cerimoniale; di convenienza: formal manners, maniere formali; formal language, linguaggio formale; a formal bow, un inchino formale; formal call, visita di convenienza4 di sola forma; formale; non essenziale; non sostanziale: a formal requirement, un requisito non essenziale; It's a purely formal matter, è una faccenda puramente formale (o di pura forma)5 formale; tradizionale: formal classroom teaching, insegnamento tradizionale in classe; formal wedding, matrimonio tradizionaleB n. ( USA)● formal handshake, stretta di mano di prammatica □ (leg.) formal information, denuncia □ (leg.) formal notice, intimazione. -
51 formal
formal ['fɔ:məl]officiel ⇒ 1 (a), 1 (b) solennel ⇒ 1 (a), 1 (c) formel ⇒ 1 (b), 1 (g) formaliste ⇒ 1 (d), 1 (g) de forme ⇒ 1 (e), 1 (f)∎ a formal dance un grand bal;∎ a formal dinner un dîner officiel;∎ is it formal? (the party, dance etc) est-ce que c'est habillé?;∎ I only wear it on formal occasions je ne le/la porte que pour les grandes occasions∎ formal agreement/contract accord m/contrat m en bonne et due forme;∎ a formal denial un démenti formel ou catégorique;∎ she had no formal education elle n'a jamais fait d'études;∎ no formal training is required aucune formation spécifique n'est exigée;∎ we gave him a formal warning nous l'avons averti officiellement ou dans les règles∎ she's very formal elle est très à cheval sur les conventions;∎ don't be so formal ne sois pas si sérieux, sois un peu plus détendu;∎ in formal language dans un style soigné ou soutenu;∎ "vous" is the formal form "vous" est la formule de politesse∎ formal agreement accord m de forme;∎ she is the formal head of State c'est elle le chef d'État officiel(f) (relating to form) de forme;∎ a formal similarity une similarité de forme(h) Philosophy formelformal garden jardin m à la française -
52 formal
-
53 formal
adj.1 formal.ser novios formales to be engaged2 well-behaved, good (que se porta bien).3 reliable (responsable, fiable).4 serious, sober (serio).5 firm, official.* * *► adjetivo1 (con los requisitos necesarios) formal2 (serio) serious, serious-minded3 (cumplidor) reliable, dependable4 (cortés) polite\sed formales behave yourselves* * *adj.1) formal2) serious3) reliable* * *ADJ1) [persona] (=de fiar) reliable, dependable; (=responsable) responsible2) [invitación, protesta] formal; [estilo, lenguaje] formal3) (=oficial) [petición, propuesta, compromiso] official4) (Fil) formal5) (=estructural) formal6) And (=afable) affable, pleasant* * *1) ( cumplidor) reliable, dependable; ( responsable) responsible2)a) < error> formalb) <promesa/oferta> firm; <invitación/compromiso> formal, official; < acusación> formalc) <recepción/cena> formal* * *= dependable, formal, formalised [formalized, -USA], business-like, pro forma [proforma], staid, ceremonious.Ex. If the supplier is a dealer, then ensure that this is a reputable and dependable dealer who can provide help with installation, maintenance and support.Ex. Obviously a more formal, and a more summarised profile is required in most indexing systems.Ex. Examples of traditional less formalized pre-coordinate indexing systems will be considered in the next section.Ex. It was generally felt that US libraries are organised on more business-like lines than those in the Netherlands.Ex. Later, she realized that the interview was a pro forma procedure = Posteriormente, se dio cuenta de que la entrevista era un trámite meramente formal.Ex. As many of the responding librarians pointed out, ' staid, adult-looking pages are not attractive to a teenage audience' = Como muchos de los bibliotecarios encuestados indicaron las "páginas con aspecto serio como si estuviesen dirigidas a adultos no resultan atractivas a un público joven".Ex. From the time of the Celtic occupation of Ireland in 500 BC, music played by harpers has been associated with ancient warfare and with banquets and ceremonious occasions.----* análisis formal de documentos = markup [mark-up].* corrección formal = procedural justice.* correcto y formal = prim and proper.* formales, los = serious, the.* lenguaje para el análisis formal de documentos web = markup language.* relación formal = formal relation.* ser muy formal = stand on + ceremony.* sistema para el análisis formal de documentos = markup code.* sistema para el análisis formal de documentos web = markup system.* titulación formal = formal degree programme.* * *1) ( cumplidor) reliable, dependable; ( responsable) responsible2)a) < error> formalb) <promesa/oferta> firm; <invitación/compromiso> formal, official; < acusación> formalc) <recepción/cena> formal* * *= dependable, formal, formalised [formalized, -USA], business-like, pro forma [proforma], staid, ceremonious.Ex: If the supplier is a dealer, then ensure that this is a reputable and dependable dealer who can provide help with installation, maintenance and support.
Ex: Obviously a more formal, and a more summarised profile is required in most indexing systems.Ex: Examples of traditional less formalized pre-coordinate indexing systems will be considered in the next section.Ex: It was generally felt that US libraries are organised on more business-like lines than those in the Netherlands.Ex: Later, she realized that the interview was a pro forma procedure = Posteriormente, se dio cuenta de que la entrevista era un trámite meramente formal.Ex: As many of the responding librarians pointed out, ' staid, adult-looking pages are not attractive to a teenage audience' = Como muchos de los bibliotecarios encuestados indicaron las "páginas con aspecto serio como si estuviesen dirigidas a adultos no resultan atractivas a un público joven".Ex: From the time of the Celtic occupation of Ireland in 500 BC, music played by harpers has been associated with ancient warfare and with banquets and ceremonious occasions.* análisis formal de documentos = markup [mark-up].* corrección formal = procedural justice.* correcto y formal = prim and proper.* formales, los = serious, the.* lenguaje para el análisis formal de documentos web = markup language.* relación formal = formal relation.* ser muy formal = stand on + ceremony.* sistema para el análisis formal de documentos = markup code.* sistema para el análisis formal de documentos web = markup system.* titulación formal = formal degree programme.* * *A (cumplidor) reliable, dependable; (responsable) responsiblea ver si eres un poco más formal la próxima vez try and be a bit more responsible next time¡sé formalito! behave yourself!tiene sólo 21 años pero es muy formal he's only 21 but he's very responsible o serious-mindedB1 ‹error› formal2 ‹promesa› firm; ‹invitación/compromiso› formal, official; ‹acusación› formalaún no he recibido una oferta formal I haven't had a definite o firm offer yet3 ‹recepción/cena› formal* * *
formal adjetivo
1 ( en general) formal;
‹promesa/oferta› firm
2 ‹ persona› ( cumplidora) reliable, dependable;
( responsable) responsible
formal adjetivo
1 formal
2 (serio, educado) serious, serious-minded
(cumplidor) reliable, dependable
' formal' also found in these entries:
Spanish:
aunque
- bastante
- ceremoniosa
- ceremonioso
- cita
- denuncia
- el
- etiqueta
- formalismo
- mayoría
- participación
- permitirse
- baño
- cena
- conferencia
- escolarizar
- gala
- novio
- plática
- querer
- traje
- vestir
English:
absent
- accustom
- afford
- audience
- awaken
- businesslike
- dear
- dependable
- deserve
- dinner
- enjoy
- far
- fear
- formal
- intend
- luncheon
- mention
- possess
- propose
- representation
- responsible
- serious
- shall
- should
- sober
- sober-minded
- solid
- speech
- staid
- unreliable
- well-behaved
- whom
- affair
- business
- evening
- formality
- grand
- grievance
- prim
- solemn
- steady
- you
- your
- yours
- yourself
- yourselves
* * *formal adj1. [de la forma] formal;en su aspecto formal la novela es excelente the formal aspects of the novel are excellent2. [legal] formal;un requisito formal an official requirement3. [que se porta bien] well-behaved, good4. [responsable, fiable] reliable;son muy poco formales they're very unreliable5. [serio] serious, sober;el lenguaje formal formal language;ser novios formales to be engaged* * *adj1 formal2 niño well-behaved3 ( responsable) responsible* * *formal adj1) : formal2) : serious, dignified3) : dependable, reliable* * *formal adj1. (oficial) formal2. (persona de fiar) responsible / reliable -
54 Language
Philosophy is written in that great book, the universe, which is always open, right before our eyes. But one cannot understand this book without first learning to understand the language and to know the characters in which it is written. It is written in the language of mathematics, and the characters are triangles, circles, and other figures. Without these, one cannot understand a single word of it, and just wanders in a dark labyrinth. (Galileo, 1990, p. 232)It never happens that it [a nonhuman animal] arranges its speech in various ways in order to reply appropriately to everything that may be said in its presence, as even the lowest type of man can do. (Descartes, 1970a, p. 116)It is a very remarkable fact that there are none so depraved and stupid, without even excepting idiots, that they cannot arrange different words together, forming of them a statement by which they make known their thoughts; while, on the other hand, there is no other animal, however perfect and fortunately circumstanced it may be, which can do the same. (Descartes, 1967, p. 116)Human beings do not live in the object world alone, nor alone in the world of social activity as ordinarily understood, but are very much at the mercy of the particular language which has become the medium of expression for their society. It is quite an illusion to imagine that one adjusts to reality essentially without the use of language and that language is merely an incidental means of solving specific problems of communication or reflection. The fact of the matter is that the "real world" is to a large extent unconsciously built on the language habits of the group.... We see and hear and otherwise experience very largely as we do because the language habits of our community predispose certain choices of interpretation. (Sapir, 1921, p. 75)It powerfully conditions all our thinking about social problems and processes.... No two languages are ever sufficiently similar to be considered as representing the same social reality. The worlds in which different societies live are distinct worlds, not merely the same worlds with different labels attached. (Sapir, 1985, p. 162)[A list of language games, not meant to be exhaustive:]Giving orders, and obeying them- Describing the appearance of an object, or giving its measurements- Constructing an object from a description (a drawing)Reporting an eventSpeculating about an eventForming and testing a hypothesisPresenting the results of an experiment in tables and diagramsMaking up a story; and reading itPlay actingSinging catchesGuessing riddlesMaking a joke; and telling itSolving a problem in practical arithmeticTranslating from one language into anotherLANGUAGE Asking, thanking, cursing, greeting, and praying-. (Wittgenstein, 1953, Pt. I, No. 23, pp. 11 e-12 e)We dissect nature along lines laid down by our native languages.... The world is presented in a kaleidoscopic flux of impressions which has to be organized by our minds-and this means largely by the linguistic systems in our minds.... No individual is free to describe nature with absolute impartiality but is constrained to certain modes of interpretation even while he thinks himself most free. (Whorf, 1956, pp. 153, 213-214)We dissect nature along the lines laid down by our native languages.The categories and types that we isolate from the world of phenomena we do not find there because they stare every observer in the face; on the contrary, the world is presented in a kaleidoscopic flux of impressions which has to be organized by our minds-and this means largely by the linguistic systems in our minds.... We are thus introduced to a new principle of relativity, which holds that all observers are not led by the same physical evidence to the same picture of the universe, unless their linguistic backgrounds are similar or can in some way be calibrated. (Whorf, 1956, pp. 213-214)9) The Forms of a Person's Thoughts Are Controlled by Unperceived Patterns of His Own LanguageThe forms of a person's thoughts are controlled by inexorable laws of pattern of which he is unconscious. These patterns are the unperceived intricate systematizations of his own language-shown readily enough by a candid comparison and contrast with other languages, especially those of a different linguistic family. (Whorf, 1956, p. 252)It has come to be commonly held that many utterances which look like statements are either not intended at all, or only intended in part, to record or impart straightforward information about the facts.... Many traditional philosophical perplexities have arisen through a mistake-the mistake of taking as straightforward statements of fact utterances which are either (in interesting non-grammatical ways) nonsensical or else intended as something quite different. (Austin, 1962, pp. 2-3)In general, one might define a complex of semantic components connected by logical constants as a concept. The dictionary of a language is then a system of concepts in which a phonological form and certain syntactic and morphological characteristics are assigned to each concept. This system of concepts is structured by several types of relations. It is supplemented, furthermore, by redundancy or implicational rules..., representing general properties of the whole system of concepts.... At least a relevant part of these general rules is not bound to particular languages, but represents presumably universal structures of natural languages. They are not learned, but are rather a part of the human ability to acquire an arbitrary natural language. (Bierwisch, 1970, pp. 171-172)In studying the evolution of mind, we cannot guess to what extent there are physically possible alternatives to, say, transformational generative grammar, for an organism meeting certain other physical conditions characteristic of humans. Conceivably, there are none-or very few-in which case talk about evolution of the language capacity is beside the point. (Chomsky, 1972, p. 98)[It is] truth value rather than syntactic well-formedness that chiefly governs explicit verbal reinforcement by parents-which renders mildly paradoxical the fact that the usual product of such a training schedule is an adult whose speech is highly grammatical but not notably truthful. (R. O. Brown, 1973, p. 330)he conceptual base is responsible for formally representing the concepts underlying an utterance.... A given word in a language may or may not have one or more concepts underlying it.... On the sentential level, the utterances of a given language are encoded within a syntactic structure of that language. The basic construction of the sentential level is the sentence.The next highest level... is the conceptual level. We call the basic construction of this level the conceptualization. A conceptualization consists of concepts and certain relations among those concepts. We can consider that both levels exist at the same point in time and that for any unit on one level, some corresponding realizate exists on the other level. This realizate may be null or extremely complex.... Conceptualizations may relate to other conceptualizations by nesting or other specified relationships. (Schank, 1973, pp. 191-192)The mathematics of multi-dimensional interactive spaces and lattices, the projection of "computer behavior" on to possible models of cerebral functions, the theoretical and mechanical investigation of artificial intelligence, are producing a stream of sophisticated, often suggestive ideas.But it is, I believe, fair to say that nothing put forward until now in either theoretic design or mechanical mimicry comes even remotely in reach of the most rudimentary linguistic realities. (Steiner, 1975, p. 284)The step from the simple tool to the master tool, a tool to make tools (what we would now call a machine tool), seems to me indeed to parallel the final step to human language, which I call reconstitution. It expresses in a practical and social context the same understanding of hierarchy, and shows the same analysis by function as a basis for synthesis. (Bronowski, 1977, pp. 127-128)t is the language donn eґ in which we conduct our lives.... We have no other. And the danger is that formal linguistic models, in their loosely argued analogy with the axiomatic structure of the mathematical sciences, may block perception.... It is quite conceivable that, in language, continuous induction from simple, elemental units to more complex, realistic forms is not justified. The extent and formal "undecidability" of context-and every linguistic particle above the level of the phoneme is context-bound-may make it impossible, except in the most abstract, meta-linguistic sense, to pass from "pro-verbs," "kernals," or "deep deep structures" to actual speech. (Steiner, 1975, pp. 111-113)A higher-level formal language is an abstract machine. (Weizenbaum, 1976, p. 113)Jakobson sees metaphor and metonymy as the characteristic modes of binarily opposed polarities which between them underpin the two-fold process of selection and combination by which linguistic signs are formed.... Thus messages are constructed, as Saussure said, by a combination of a "horizontal" movement, which combines words together, and a "vertical" movement, which selects the particular words from the available inventory or "inner storehouse" of the language. The combinative (or syntagmatic) process manifests itself in contiguity (one word being placed next to another) and its mode is metonymic. The selective (or associative) process manifests itself in similarity (one word or concept being "like" another) and its mode is metaphoric. The "opposition" of metaphor and metonymy therefore may be said to represent in effect the essence of the total opposition between the synchronic mode of language (its immediate, coexistent, "vertical" relationships) and its diachronic mode (its sequential, successive, lineal progressive relationships). (Hawkes, 1977, pp. 77-78)It is striking that the layered structure that man has given to language constantly reappears in his analyses of nature. (Bronowski, 1977, p. 121)First, [an ideal intertheoretic reduction] provides us with a set of rules"correspondence rules" or "bridge laws," as the standard vernacular has it-which effect a mapping of the terms of the old theory (T o) onto a subset of the expressions of the new or reducing theory (T n). These rules guide the application of those selected expressions of T n in the following way: we are free to make singular applications of their correspondencerule doppelgangers in T o....Second, and equally important, a successful reduction ideally has the outcome that, under the term mapping effected by the correspondence rules, the central principles of T o (those of semantic and systematic importance) are mapped onto general sentences of T n that are theorems of Tn. (P. Churchland, 1979, p. 81)If non-linguistic factors must be included in grammar: beliefs, attitudes, etc. [this would] amount to a rejection of the initial idealization of language as an object of study. A priori such a move cannot be ruled out, but it must be empirically motivated. If it proves to be correct, I would conclude that language is a chaos that is not worth studying.... Note that the question is not whether beliefs or attitudes, and so on, play a role in linguistic behavior and linguistic judgments... [but rather] whether distinct cognitive structures can be identified, which interact in the real use of language and linguistic judgments, the grammatical system being one of these. (Chomsky, 1979, pp. 140, 152-153)23) Language Is Inevitably Influenced by Specific Contexts of Human InteractionLanguage cannot be studied in isolation from the investigation of "rationality." It cannot afford to neglect our everyday assumptions concerning the total behavior of a reasonable person.... An integrational linguistics must recognize that human beings inhabit a communicational space which is not neatly compartmentalized into language and nonlanguage.... It renounces in advance the possibility of setting up systems of forms and meanings which will "account for" a central core of linguistic behavior irrespective of the situation and communicational purposes involved. (Harris, 1981, p. 165)By innate [linguistic knowledge], Chomsky simply means "genetically programmed." He does not literally think that children are born with language in their heads ready to be spoken. He merely claims that a "blueprint is there, which is brought into use when the child reaches a certain point in her general development. With the help of this blueprint, she analyzes the language she hears around her more readily than she would if she were totally unprepared for the strange gabbling sounds which emerge from human mouths. (Aitchison, 1987, p. 31)Looking at ourselves from the computer viewpoint, we cannot avoid seeing that natural language is our most important "programming language." This means that a vast portion of our knowledge and activity is, for us, best communicated and understood in our natural language.... One could say that natural language was our first great original artifact and, since, as we increasingly realize, languages are machines, so natural language, with our brains to run it, was our primal invention of the universal computer. One could say this except for the sneaking suspicion that language isn't something we invented but something we became, not something we constructed but something in which we created, and recreated, ourselves. (Leiber, 1991, p. 8)Historical dictionary of quotations in cognitive science > Language
-
55 language
ˈlæŋɡwɪdʒ сущ. язык а) (как способ и средство общения) речь to butcher, murder a language ≈ искажать язык to enrich a language ≈ обогащать язык to learn, master a language ≈ учить язык to plan a language ≈ регулировать язык to purify a language ≈ очищать язык (проведение некоторых мер по выведению из языка тех или иных пластов лексики или грамматических форм) to speak (in) a, to use a language ≈ говорить на языке to standardize a language ≈ стандартизировать язык international, world language ≈ международный язык, язык международного общения dead, extinct language ≈ мертвый язык language acquisition ≈ обучение языку language maintenance ≈ поддержание (знания) языка spoken language ≈ разговорный язык written language ≈ письменный язык native language ≈ родной язык foreign language ≈ иностранный язык national language ≈ национальный язык official language ≈ официальный язык second language ≈ второй язык universal language ≈ универсальный язык formal language ≈ язык официального общения idiomatic language ≈ язык, богатый идиомами nontechnical language ≈ нетехнический язык substandard language ≈ язык, не соответствующий языковой норме technical language ≈ технический язык ancient language ≈ древний язык classical language ≈ классический язык creolized language ≈ креолизованный язык living language ≈ живой язык modern language ≈ современный язык natural language ≈ естественный язык trade language ≈ язык торгового общения agglutinative language ≈ агглютинативный язык inflecting language ≈ флективный язык isolating language ≈ изолирующий язык synthetic language ≈ синтетический язык tone language ≈ язык с тоновым ударением б) (как знаковая система) sign language ≈ язык знаков artificial language ≈ искусственный язык finger language ≈ язык жестов, язык глухонемых в) (языковой или литературный стиль;
язык писателя) the language of Shakespeare ≈ язык Шекспира bad, coarse, crude, dirty, foul, nasty, obscene, offensive, unprintable, vile, vulgar language ≈ грубый, грязный, неприличный, оскорбительный, непечатный, вульгарный язык rough, strong, vituperative language ≈ грубый, бранный язык everyday, plain, simple language ≈ простой, повседневный язык flowery language ≈ цветистый язык (богатый метафорами, сравнениями и др. литературными тропами) colloquial, informal language ≈ язык неофициального общения, разговорный язык literary, standard language ≈ литературный язык abusive language ≈ брань, ругательства children's language ≈ детский язык diplomatic language ≈ дипломатический язык polite language ≈ вежливый язык rich language ≈ богатый язык Syn: wording г) (как способ кодирования) object, target language ≈ язык, на который переводят source language ≈ язык, с которого переводят (в машинном переводе) computer language machine language programming language язык - the Russian * русский язык - finger * язык жестов, язык глухонемых - living * живой язык - working * рабочий язык (в международных организациях) - the working *s of this committee are English and Russian рабочими языками этого комитета являются русский и английский - * arts (американизм) обучение чтению, письму, литературе, словесность (школьный предмет) - * shift переключение на другой язык (о говорящем на иностранном языке) - * department отдел переводов (ООН) - a degree in *s диплом об окончании филологического факультета или института иностранных языков - science of * языкознание речь - spoken * разгговорный язык;
устная речь - written * письменость;
письменный язык - articulate * членораздельная речь - literary * литературный язык - substandard * просторечие - he has a great command of * он прекрасно владеет языком, у него прекрасная речь характер языка;
стиль, слог - fine * изысканный язык, цветистый стиль - strong * сильные выражения - bad * сквернословие - * of poetry язык поэзии - business * деловая речь;
язык деловой переписки - * of law юридический язык - diplomatic * дипломатический язык - the * of Shakespeare язык Шекспира (дипломатическое) формулировка( компьютерное) язык программирования ЭВМ > not to speak the same * совершенно не понимать друг друга > they don't speak the same * они говорят на разных языках algorithmic ~ вчт. алгоритмический язык algorithmical ~ вчт. алгоритмическый язык applicative ~ вчт. функциональный язык artifical ~ вчт. искусственный язык artificial ~ вчт. искусственный язык assembler ~ вчт. язык ассемблера assembly ~ вчт. язык ассемблера authoring ~ вчт. язык для автоматизации творческой работы block-structured ~ вчт. язык с блочной структурой boolean-based ~ вчт. язык булевых операторов command ~ вчт. командный язык compiled ~ вчт. транслируемый язык compiler ~ вчт. язык транслятора computer ~ вчт. машинный язык computer-dependent ~ вчт. машинно-зависимый язык computer-oriented ~ вчт. машинно-ориентированный язык computer-sensitive ~ вчт. машинно-зависимый язык constraint ~ вчт. декларативный язык context-free ~ вчт. контекстно-свободный язык conversational ~ вчт. диалоговый язык conversational ~ вчт. язык диалога data definition ~ вчт. язык определения данных data description ~ вчт. язык описания данных data description ~ вчт. язык определения данных data ~ вчт. язык описания данных data manipulation ~ вчт. язык манипулирования данными data-base ~ вчт. язык базы данных data-query ~ вчт. язык запросов declarative ~ вчт. декларативный язык design ~ вчт. язык проектирования end-user ~ вчт. язык конечного пользователя extensible ~ вчт. расширяемый язык ~ язык;
речь;
finger language язык жестов, язык глухонемых foreign ~ иностранный язык formal ~ формальный язык frame ~ вчт. фреймовый язык high-level ~ вчт. язык высокого уровня host ~ вчт. включающий язык human ~ естественный язык language разг. брань (тж. bad language) ;
I won't have any language here прошу не выражаться inflected ~ флективный язык information retrieval ~ информационно- поисковый язык information retrieval ~ информационно-поисковый язык input ~ вчт. входной язык interactive ~ вчт. диалоговый язык interpreted ~ вчт. интерпретируемый язык kernel ~ вчт. базовый язык knowledge representation ~ вчт. язык представления знаний language разг. брань (тж. bad language) ;
I won't have any language here прошу не выражаться ~ стиль;
язык писателя;
the language of Shakespeare язык Шекспира ~ язык ~ язык;
речь;
finger language язык жестов, язык глухонемых ~ стиль;
язык писателя;
the language of Shakespeare язык Шекспира ~ of the case язык судебного делопроизводства legal ~ юридический язык legal ~ язык права low-level ~ вчт. язык низкого уровня machine ~ вчт. машинный язык machine-dependent ~ вчт. машинно-зависимый язык machine-independent ~ вчт. машинно-независимый язык machine-oriented ~ вчт. машинно-ориентрированный язык macro ~ вчт. макроязык macroinstruction ~ вчт. язык макрокоманд memory management ~ вчт. язык управления памятью meta ~ вчт. метаязык minority ~ язык национального меньшинства mnemonic ~ вчт. символический язык national ~ государственный язык native ~ вчт. собственный язык машины natural ~ вчт. естественный язык nonprocedural ~ вчт. непроцедурный язык object ~ вчт. объектный язык official ~ официальный язык original ~ исходный язык parallel ~ вчт. язык параллельного программирования predicate ~ вчт. язык предикатов problem statement ~ вчт. язык постановки задачи problem-oriented ~ вчт. проблемно-ориентированный язык procedural ~ вчт. процедурный язык procedural ~ процедурный язык procedure-oriented ~ вчт. процедурно ориентированный язык production ~ вчт. продукционный язык program ~ вчт. язык программирования programming ~ вчт. язык программирования query ~ вчт. язык запросов register transfer ~ вчт. язык межрегистровых пересылок regular ~ вчт. регулярный язык relational ~ вчт. реляционный язык representation ~ вчт. язык представлений restricted ~ вчт. упрощенная версия языка rule ~ вчт. язык правил rule-based ~ вчт. язык продукционных правил rule-oriented ~ вчт. язык логического программирования script ~ вчт. язык сценариев serial ~ вчт. язык последовательного программирования source ~ вчт. исходный язык source ~ cmp. исходный язык specification ~ вчт. язык спецификаций subset ~ вчт. подмножество языка symbolic ~ вчт. символический язык symbolic ~ comp. символический язык system ~ вчт. системный язык tabular ~ вчт. табличный язык target ~ вчт. выходной язык target ~ выходной язык target ~ объектный язык threaded ~ вчт. язык транслируемый в шитый код typed ~ вчт. широко используемый язык typeless ~ вчт. безтиповый язык unchecked ~ вчт. язык без контроля типов untyped ~ вчт. язык без контроля типов update ~ вчт. язык корректирующих запросов user ~ вчт. язык пользователя world ~ международный языкБольшой англо-русский и русско-английский словарь > language
-
56 language
- absolutely homogeneous language - absolutely inadequate language - absolutely nonhomogeneous language - absolutely nonperfect language - absolutely nonsimple language - absolutely perfect language - absolutely simple language - completely formalized language - completely homogeneous language - left categorial language - locally perfectly adequate language - locally simple language - locally strongly language - locally well adequate language - noncompletely homogeneous language - right categorial language - scattered context languageindistinguishable in the language — лог. неразличимый на языке, эквивалентный
-
57 formal
1. прил.1)а) общ. официальный, формальный, надлежаще оформленный (выполненный по установленной государством форме, в соответствии с каким-л. законом)formal agreement [notice, protest\] — официальное соглашение [уведомление, официальный протест\]
formal charge — обвинение, предъявленное с соблюдением необходимых формальностей
formal market — официальный рынок, формальный рынок*
See:formal agreement, formal bid, formal contract, formal group, formal institution, formal leader, formal leadership, formal market, formal network, formal organization, formal product, formal recruiting, formal status, formal transferб) общ. формальный ( выполненный по неким установленным в обществе правилам)formal education — образование, полученное в учебном заведении
2) общ. формальный, внешний (относящийся к внешней стороне вопроса, проблемы; относящейся к форме, а не содержанию)See:3) общ. строгий, формальный, правильный, точный, симметричныйformal language — формальный язык (в информатике, математике)
See:4) общ. официальный, торжественный ( о мероприятии); вечерний, парадный (об одежде, предназначенной для торжественных приемов)5) общ. формальный; номинальный ( установленный этикетом)He is always formal with his colleagues. — Он всегда держится с коллегами официально.
Syn:2. сущ.1) общ., амер., разг. официальный прием (мероприятие, на котором участники должны быть в вечерних туалетах)2) мн., общ., амер., разг. = formal dress -
58 formal
1. n амер. разг. мероприятие, на котором участники должны быть в вечерних туалетахformal dress — одежда для торжественных вечерних приёмов; фрак; длинное вечернее платье
2. a выполненный по установленной форме, в соответствии с этикетом; надлежаще оформленныйformal charge — обвинение, предъявленное с соблюдением необходимых формальностей
3. a вечерний; парадный, предназначенный для торжественных приёмовthe etiquette governing the setting of a table for a formal dinner — правила сервировки стола для официального обеда
4. a официальный; сухой5. a формальный, сделанный для проформы6. a формальный, формалистический7. a внешний, поверхностный; кажущийся8. a относящийся к форме; облекающий сущность в определённую форму9. a правильный, симметричный; строго распланированныйСинонимический ряд:1. academic (adj.) academic; conformal; conforming; conformist2. ceremonial (adj.) ceremonial; ceremonious; courtly; decorous; liturgical; orthodox; polite; proper; ritual; sententious; solemn; stately3. conventional (adj.) conventional; customary; prescribed; standard4. definite (adj.) definite; lawful; legal5. dressy (adj.) dressy; fancy-dress; full-dress6. explicit (adj.) explicit; express; official; stodgy; strict7. fixed (adj.) fixed; methodical; regular; rigid; rigorous; rigourous; set8. nominal (adj.) nominal; so-called; titular9. prim (adj.) precise; prim; punctilious; reserved; starched; stiff; stilted; stuffyАнтонимический ряд:casual; comfortable; common; customary; easy; general; habitual; illegal; inadequate; incomplete; incorrect; informal; irregular; normal; ordinary; relaxed; unusual -
59 formal **** for·mal adj
['fɔːm(ə)l]formal clothes — abiti mpl da cerimonia
formal training — preparazione f specifica
-
60 language
1) языка) естественный язык, средство человеческого общенияб) система знаков, жестов или сигналов для передачи или хранения информациив) стильг) речь2) языкознание, лингвистика•- actor language
- agent communication language
- a-hardware programming language - application-oriented language
- applicative language
- a-programming language
- artificial language
- assembler language
- assembly language
- assignment language
- author language
- authoring language - business-oriented programming language
- categorical language - configuration language
- constraint language
- combined programming language
- command language
- common language
- common business-oriented language
- compiled language
- compiler language
- computer language
- computer-dependent language - computer-oriented language
- computer-sensitive language
- concurrent language - context- sensitive language
- conversational language
- coordinate language
- database language
- database query language - data structure language
- digital system design language
- declarative language
- declarative markup language
- definitional language
- definitional constraint language
- design language
- device media control language - dynamically scoped language - elementary formalized language
- embedding language
- event-driven language
- expression language
- extensible language - formalized language - functional language
- functional programming language - graph-oriented language - high-order language
- host language - hypersymbol language
- imperative language
- in-line language
- input language
- intelligent language
- interactive language - interpreted language - Java programming language - lexically scoped language
- list-processing language
- low-level language
- machine language
- machine-independent language
- machine-oriented language
- macro language
- manipulator language - meta language
- mnemonic language
- musical language - native-mode language
- natural language - nonprocedural language
- object language
- object-oriented language - physical language
- picture query language
- portable language
- portable standard language
- polymorphic language - print control language
- problem-oriented language
- problem statement language
- procedural language
- procedure-oriented language
- program language
- programming language
- publishing language
- query language
- question-answering language
- register-transfer language
- regular language
- relational language
- right-associative language
- robot language
- robot-level language
- robotic control language
- rule language
- rule-oriented language
- scientific programming language
- script language
- scripting language - sign language
- single-assignment language
- software command language
- source language
- special-purpose programming language
- specification language - stratified language
- stream language
- string-handling language - strongly-typed language - symbolic language - thing language - tone language
- two-dimensional pictorial query language
- typed language
- typeless language
- unchecked language
- unformalized language
- universal language
- unstratified language
- untyped language
- user-oriented language
- very high-level language - well-structured programming language
См. также в других словарях:
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