-
1 детерминированная программа
Русско-английский научно-технический словарь Масловского > детерминированная программа
-
2 детерминированная программа
Mathematics: deterministic programУниверсальный русско-английский словарь > детерминированная программа
-
3 алгоритм
algorithm, device, procedure, scheme, strategy, technique* * *алгори́тм м.
algorithmконструи́ровать алгори́тм — synthesize an algorithmпо ( такому-то) [m2]алгори́тму — by a (so and so) program [algorithm]распи́сывать алгори́тм в … (напр. команды) — break down an algorithm in … (e. g., commands)
(с)формулировать алгори́тм — develop an algorithmалгори́тм выполне́ния — execution [performance] algorithmвычисли́тельный алгори́тм — computational algorithmдекоди́рующий алгори́тм — decoding algorithmалгори́тм деле́ния Эвкли́да — Euclidean division algorithmдетермини́рованный алгори́тм — deterministic algorithmалгори́тм Ква́йна — Quine algorithmлоги́ческий алгори́тм — logical algorithmлока́льный алгори́тм — local algorithmалгори́тм Мак-Кла́ски — McCluskey algorithmнорма́льный алгори́тм — normal algorithmобобщё́нный алгори́тм — generalized algorithmалгори́тм обуче́ния распознава́ния — pattern-recognition algorithmалгори́тм перево́да1. ( до ввода в машину) translation algorithm2. ( в ходе работы программы) interpretation algorithmпосле́довательный алгори́тм — sequential algorithmалгори́тм По́ста — Post algorithmпо́стовский алгори́тм см. алгоритм Постаалгори́тм приведе́ния — reduction algorithmалгори́тм распределе́ния — scheduling algorithmрекурси́вный алгори́тм — recursive algorithmсамоизменя́ющийся алгори́тм — self-adaptive algorithmалгори́тм сложе́ния — addition algorithmалгори́тм с непо́лной па́мятью — partial-memory algorithmалгори́тм составле́ния гра́фика или расписа́ния — scheduling algorithmалгори́тм с по́лной па́мятью — full-memory algorithmтабли́чный алгори́тм — table algorithmалгори́тм трансля́ции — compilation [translation] algorithmалгори́тм Тью́ринга — Turing algorithmуниверса́льный алгори́тм — universal algorithmалгори́тм управле́ния — control algorithmалгори́тм управля́ющего устро́йства — controller algorithmчелно́чный алгори́тм — shuttle algorithmалгори́тм чи́сленного ана́лиза — numerical analysis algorithmалгори́тм Эвкли́да — Euclidean algorithmэквивале́нтные алгори́тмы — equivalent algorithmsэлемента́рный алгори́тм — elementary algorithm
См. также в других словарях:
Deterministic Parallel Java — OS Cross platform Website http://dpj.cs.uiuc.edu Deterministic Parallel Java (DPJ) is an extension of the Java programming language which adds parallel constructs that provide a deterministic programming model for object oriented languages. The… … Wikipedia
Deterministic context-free grammar — In formal grammar theory, the deterministic context free grammars (DCFGs) are a proper subset of the context free grammars. The deterministic context free grammars are those a deterministic pushdown automaton can recognize. A DCFG is the finite… … Wikipedia
Deterministic context-free language — A deterministic context free language is a formal language which is defined by a deterministic context free grammar.[1] The set of deterministic context free languages is called DCFL[2] and is identical to the set of languages accepted by a… … Wikipedia
Deterministic finite-state machine — An example of a Deterministic Finite Automaton that accepts only binary numbers that are multiples of 3. The state S0 is both the start state and an accept state. In the theory of computation and automata theory, a deterministic finite state… … Wikipedia
Program transformation — A program transformation is any operation that takes a program and generates another program. It is often important that the derived program be semantically equivalent to the original, relative to a particular formal semantics. Other program… … Wikipedia
Program refinement — Data transformation/Source transformation Concepts metadata · data mapping data transformation · model transf … Wikipedia
List of interactive geometry software — Interactive geometry software (IGS, or dynamic geometry environments, DGEs) are computer programs which allow one to create and then manipulate geometric constructions, primarily in plane geometry. In most IGS, one starts construction by putting… … Wikipedia
Halting problem — In computability theory, the halting problem can be stated as follows: Given a description of a computer program, decide whether the program finishes running or continues to run forever. This is equivalent to the problem of deciding, given a… … Wikipedia
One-time pad — Excerpt from a one time pad In cryptography, the one time pad (OTP) is a type of encryption, which has been proven to be impossible to crack if used correctly. Each bit or character from the plaintext is encrypted by a modular addition with a bit … Wikipedia
Operational semantics — In computer science, operational semantics is a way to give meaning to computer programs in a mathematically rigorous way. Operational semantics are classified into two categories: structural operational semantics (or small step semantics)… … Wikipedia
Concolic testing — (a portmanteau of concrete and symbolic) is a hybrid software verification technique that interleaves concrete execution (testing on particular inputs) with symbolic execution, a classical technique that treats program variables as symbolic… … Wikipedia
