'(computing theory) Having semantics that incorporates mutable variables.'에 대한 English 단어
위에서 "(computing theory) Having semantics that incorporates mutable variables."에 관련된 단어를 찾으실 수 있습니다. 단어 위에 마우스를 올리면 정의를 볼 수 있습니다. 검색 아이콘을 클릭하면 더 적합한 단어를 찾을 수 있습니다.
검색 결과
adj
noun
- (countable, grammar) A verb in the imperative mood.
- (uncountable, grammar) The grammatical mood expressing an order (see jussive). In English, the imperative form of a verb is the same as that of the bare infinitive.
- (countable) An essential action, a must: something which is imperative.
- a mood that expresses an intention to influence the listener's behavior
- a verb in the imperative mood.
- some duty that is essential and urgent
noun
- (computing theory) A theoretical entity capable of answering some collection of questions.
- A wise sentence or decision of great authority.
- A person such as a priest through whom the deity is supposed to respond with prophecy or advice.
- A shrine dedicated to some prophetic deity.
- One who communicates a divine command; an angel; a prophet.
- A person considered to be a source of wisdom.
- A fortune-teller.
- (Jewish antiquity) The sanctuary, or most holy place in the temple; also, the temple itself.
- A prophetic response, often enigmatic or allegorical, so given.
- (cryptocurrencies) A third-party service that provides smart contracts with information from the outside world.
- a prophecy (usually obscure or allegorical) revealed by a priest or priestess; believed to be infallible
- an authoritative person who divines the future
- a shrine where an oracular god is consulted
noun
- (computing) One of several alternative computational paradigms for a given theory.
- (literature) An approach to interpretation and/or evaluation focused on the (usually linguistic) structure of a literary work rather than on the contexts of its origin or reception.
- (philosophy of mathematics) The ontological view of mathematics as a mere collection of string manipulation rules.
- (music) The tendency to elevate formal above expressive value in music, as in serialism.
- (mathematics, physics) A particular mathematical or scientific theory or description of a given state or effect.
- Strict adherence to a given form of conduct, practice etc.
- (linguistics, computing, mathematics) A formal expression of a grammar; a formal grammar; a set of rules of syntax that, without reference to semantics, determine whether a sequence of symbols is a well-formed sentence in a given formal language.
- the practice of scrupulous adherence to prescribed or external forms
- (philosophy) the philosophical theory that formal (logical or mathematical) statements have no meaning but that its symbols (regarded as physical entities) exhibit a form that has useful applications
- the doctrine that formal structure rather than content is what should be represented
adj
- (computing theory) Having semantics defined purely in terms of mathematical functions, without side-effects.
- Optimized for all-around physiological benefit.
- Useful; serving a purpose, fulfilling a function.
- (mathematics) Of or relating to a function or functions.
- Of or relating to one's role or office; official.
- Only for functional purposes, notably in architecture.
- In good working order.
- (physiology, psychology) Characterizing functioning in environment, being symptoms that do not presuppose alteration of organic structure.
- designed for or adapted to a function or use
- involving or affecting function rather than physiology
- (of e.g. a machine) performing or capable of performing
- relating to or based on function especially as opposed to structure
- designed for or capable of a particular function or use
- fit or ready for use or service
noun
- (mathematics) A function that takes a function as its argument; more precisely, a function whose argument varies in a space of (real or complex valued) functions and whose value belongs to a monodimensional space.
- (computing) An object encapsulating a function pointer (or equivalent).
- (mathematics, functional analysis) A scalar-valued linear function on a vector space.
noun
- (computing theory) Any of the set of strings that can be generated by a given formal grammar.
- (logic) A formula with no free variables.
- A punishment imposed on a person convicted of a crime.
- (grammar) A grammatically complete series of words consisting of a subject and predicate, even if one or the other is implied. In modern writing, when using e.g. the Latin, Greek or Cyrillic alphabets, typically beginning with a capital letter and ending with a full stop or other punctuation.
- The judicial order for a punishment to be imposed on a person convicted of a crime.
- (criminal law) a final judgment of guilty in a criminal case and the punishment that is imposed
- the period of time a prisoner is imprisoned
- a string of words satisfying the grammatical rules of a language
verb
noun
- (programming, loosely) An actual value given to such a formal parameter.
- A value kept constant during an experiment, equation, calculation, or similar, but varied over other versions of the experiment, equation, calculation, etc.
- (crystallography) The ratio of the three crystallographic axes which determines the position of any plane.
- (sciences) A variable that describes a property or characteristic of some system (material, object, event, etc.) or some aspect thereof.
- (geometry) In the ellipse and hyperbola, a third proportional to any diameter and its conjugate, or in the parabola, to any abscissa and the corresponding ordinate.
- (programming) An input variable of a function definition, that gets an actual value (argument) at execution time.
- (commutative algebra) Clipping of uniformizing parameter.
- A characteristic or feature that distinguishes something from others.
- (crystallography) The fundamental axial ratio for a given species.
- (statistics) Any measured quantity of a statistical population that summarises or describes an aspect of the population.
- (machine learning) A variable of a model that is trained by a machine learning algorithm.
- a constant in the equation of a curve that can be varied to yield a family of similar curves
- any factor that defines a system and determines (or limits) its performance
- a quantity (such as the mean or variance) that characterizes a statistical population and that can be estimated by calculations from sample data
- (computer science) a reference or value that is passed to a function, procedure, subroutine, command, or program
noun
- (computing theory) A set of formal languages with certain desirable closure properties, in particular those of the regular languages, the context-free languages and the recursively enumerable languages.
- An ice cream cone.
- The fruit of a conifer.
- (anatomy) Any of the small cone-shaped structures in the retina.
- (topology) A space formed by taking the direct product of a given space with a closed interval and identifying all of one end to a point.
- A unit of volume, applied solely to marijuana and only while it is in a smokable state; roughly 1.5 cubic centimetres, depending on use.
- (slang, by extension) A passenger on a cruise ship (that needs to be navigated around).
- (slang) A cone-shaped cannabis joint.
- (geometry) A surface of revolution formed by rotating a segment of a line around another line that intersects the first line.
- (slang) The process of smoking cannabis in a bong.
- (slang) The bowl piece on a bong.
- A traffic cone.
- A cone-shaped flower head of various plants, such as banksias and proteas.
- (geometry) A solid of revolution formed by rotating a triangle around one of its altitudes.
- A shell of the genus Conus, having a conical form.
- (category theory) An object V together with an arrow going from V to each object of a diagram such that for any arrow A in the diagram, the pair of arrows from V which subtend A also commute with it. (Then V can be said to be the cone’s vertex and the diagram which the cone subtends can be said to be its base.)
- cone-shaped mass of ovule- or spore-bearing scales or bracts
- a shape whose base is a circle and whose sides taper up to a point
- a visual receptor cell in the retina that is sensitive to bright light and to color
- any cone-shaped artifact
verb
adj
- (computing theory) Employing or relating to fuzzy logic.
- Not clear; unfocused.
- Vague or imprecise.
- Covered with fuzz or a large number of tiny loose fibres like a carpet or many stuffed animals.
- Warm and comforting; affectionate.
- covering with fine light hairs
- confused and not coherent; not clearly thought out
- indistinct or hazy in outline
noun
- (slang) A police officer.
- (often in the plural) A very small piece of plush material such as lint.
- Something covered with fuzz or hair, as an animal or plush toy.
- (slang) A person, especially a college student, interested in humanities or social sciences, as opposed to one interested in mathematics, science, or engineering.
- (slang, military) A soldier with the rank of private.
adj
- (computing) Relating to the conceptual model of a system rather than its physical expression
- (not comparable) Of or pertaining to logic.
- Reasonable.
- (not comparable) In agreement with the principles of logic; sequacious.
- marked by an orderly, logical, and aesthetically consistent relation of parts
- based on known statements or events or conditions
- capable of or reflecting the capability for correct and valid reasoning
- capable of thinking and expressing yourself in a clear and consistent manner
adj
- (computing theory, not comparable, of a function) which can be computed by a theoretical model of a computer, in a finite amount of time
- (mathematics, not comparable) of an expression, each term of which is determined by applying a formula to preceding terms
- drawing upon itself, referring back.
- (computing theory, not comparable, of a set) whose characteristic function is recursive (4)
- (computing, not comparable) of a program or function that calls itself
- of or relating to a recursion
adj
- (programming) Properties of the program that can be reasoned about during compilation.
- (computing) Operations performed by a compiler (the “compile-time operations”).
- (computing) Programming language requirements that must be met by source code for it to be successfully compiled (the “compile-time requirements”).
noun
- (computing theory) An entity that resembles, but is not in fact, a state in a state machine or similar.
- (politics) A geopolitical entity which has some of the trappings of an independently-governed country or territory, but which lacks real independence and is not recognized as a self-governing political entity by the international community of nations.
adj
noun
noun
- (computing, sometimes attributive) A kind of user interface in literate programming, allowing calculations to be interspersed with human-readable comments, diagrams, etc.
- (computing) Ellipsis of notebook computer (“laptop computer”).
- A book in which notes or memoranda are written.
- a small compact portable computer
- a book with blank pages for recording notes or memoranda
noun
- (computer science) A statement that declares the properties of a variable or contributes to doing so.
- One who declares.
- (bridge) The person who wins the bidding and so declares what suit will be trump.
- someone who claims to speak the truth
- the bridge player in contract bridge who wins the bidding and can declare which suit is to be trumps
noun
- (computing theory) A concise description of a regular formal language with notations for concatenation, alternation, and iteration (repetition) of subexpressions.
- (computing, more generally) Any pattern for text matching or searching, frequently offering more or less functionality than a theoretical regular expression.
noun
- (computer science) Initialism of dynamic programming.
- (baseball, softball) Initialism of double play.
- Initialism of dynamic positioning.
- Initialism of display port.
- (chemistry) Initialism of degree of polymerization.
- (motor racing) Abbreviation of Daytona prototype.
- (computing) Initialism of developer preview.
- (film) Initialism of director of photography.
- (grammar) Abbreviation of determiner phrase.
- (nuclear physics) Initialism of decay product.
- (slang) Initialism of dickpic.
- Initialism of data processing.
- (slang) Initialism of double penetration.
- Initialism of display picture.
- Initialism of displaced person.
- Initialism of delusional parasitosis.
- a person forced to flee from home or country
name
verb
noun
- (mathematics) Initialism of nonlinear programming.
- (psychology) Initialism of neuro-linguistic psychotherapy.
- (computing) Initialism of natural language processing.
- (pseudoscience, psychology) Initialism of neuro-linguistic programming.
- the branch of information science that deals with natural language information
name
phrase
noun
- (computing theory) A function from (state, input symbol) to state describing what state to move to on receiving a given input in a given state.
- (differential geometry) A homeomorphism that bijects between the subsets of the images of two overlapping coordinate charts that are shared in the preimage: For (U_1,φ₁) and (U_2,φ₂) coordinate charts with U_1∩U_2≠∅, the transition functions φ₁₂=φ₂∘φ₁⁻¹ and its inverse φ₂₁=φ₁∘φ₂⁻¹ may be constructed.
noun
noun
- (computing theory) An abstract computing machine that has a finite number of possible internal states and operates on an infinite memory tape by first reading a symbol from a cell in the tape, and then, deterministically, based on that symbol and the machine’s state, writing a symbol in that cell, moving to a neighboring cell, and/or changing state.
- a hypothetical computer with an infinitely long memory tape
noun
name
noun
- (computing theory) A tag attached to variables and values used in determining which kinds of value can be used in which situations.
- A grouping based on shared characteristics; a class.
- (uncountable) Such types collectively, or a set of type of one font or size.
- An individual that represents the ideal for its class; an embodiment.
- (obsolete except in the above special senses) A symbol, emblem, or example of something.
- (fine arts) The original object, or class of objects, scene, face, or conception, which becomes the subject of a copy; especially, the design on the face of a medal or a coin.
- (taxonomy) Something, often a specimen, selected as an objective anchor to connect a scientific name to a taxon; this need not be representative or typical.
- An individual considered typical of its class, one regarded as typifying a certain profession, environment, etc.
- (mathematics) A part of the partition of the object domain of a logical theory (which due to the existence of such partition, would be called a typed theory). (Note: this corresponds to the notion of "data type" in computing theory.)
- Preferred sort of person; sort of person that one is attracted to.
- (corpus linguistics) A word that occurs in a text or corpus irrespective of how many times it occurs, as opposed to a token.
- (chemistry) A simple compound, used as a mode or pattern to which other compounds are conveniently regarded as being related, and from which they may be actually or theoretically derived.
- (chiefly uncountable) Text printed with such type, or imitating its characteristics.
- (theology) An event or person that prefigures or foreshadows a later event - commonly an Old Testament event linked to Christian times.
- (medicine) A blood group.
- a person of a specified kind (usually with many eccentricities)
- a subdivision of a particular kind of thing
- (biology) the taxonomic group whose characteristics are used to define the next higher taxon
- a small metal block bearing a raised character on one end; produces a printed character when inked and pressed on paper
- all of the tokens of the same symbol
- printed characters
adv
verb
- To furnish an expression or copy of; to represent; to typify.
- To represent by a type, model, or symbol beforehand; to prefigure.
- To categorize into types.
- To put text on paper using a typewriter.
- To determine the blood type of.
- To enter text or commands into a computer using a keyboard.
- write by means of a keyboard with types
- identify as belonging to a certain type
adj
noun
noun
- (computing theory) A partial description gleaned from data mining.
- (countable) A small, compact chunk or clump.
- (Australia, slang, countable) An item that is typically old and of dubious quality or poor condition.
- (countable) A small piece of tasty food, a tidbit.
- (uncountable) A type of boot polish.
- (countable, slang) An inexperienced, newly trained fighter pilot.
- (countable) A bud from the Cannabis sativa plant, especially one that is potent.
- (countable) A tidbit of something valuable.
- (slang, countable) A person with no arms or legs; a basket case.
- (countable) A chicken nugget.
- a solid lump of a precious metal (especially gold) as found in the earth
verb
noun
- (computing theory) Abbreviation of nondeterministic polynomial, the complexity class of computational problems that a nondeterministic Turing machine can solve in polynomial time.
- Initialism of notary public.
- (nanotechnology) Initialism of nanoparticle.
- Initialism of national park.
- Initialism of nurse practitioner.
- (linguistics) Initialism of noun phrase.
- (medicine, pathology) Abbreviation of nosocomial pneumonia.
- a registered nurse who has received special training and can perform many of the duties of a physician
name
phrase
adj
- (programming) Able to represent a number of ideas or concepts.
- (linguistics) Conveying the speaker's emotions and/or attitudes, in addition to the denotative or literal meaning.
- Effectively conveying thought or feeling.
- characterized by expression
- performing gestures or possessing qualities or features that suggest a certain state of being or emotion
noun
- (linguistics) Any word or phrase that expresses (that the speaker, writer, or signer has) a certain attitude toward or information about the referent.
- (linguistics, more narrowly) A word or phrase, belonging to a distinct word class or having distinct morphosyntactic properties, with semantic symbolism (for example, an onomatopoeia), variously considered either a synonym, a hypernym or a hyponym of ideophone.
name
- (computing) Initialism of Symbolic Manipulation Program (“a computer algebra system and predecessor of Mathematica”).
- Initialism of Sipah-e-Muhammad Pakistan.
- Initialism of Simulation Model Portability.
- Initialism of Sisters of Mary of the Presentation.
- Initialism of Standard Motor Products.
- Initialism of Send More Paramedics.
- (computing) Initialism of Supplementary Multilingual Plane, one of the sets of character codepoints in Unicode; formally known as Plane 1, and comprising the range of codepoints from U+10000 through U+1FFFF.
- Initialism of School Mathematics Project.
- Initialism of Shanghai Municipal Police.
- Initialism of Shannonville Motorsport Park.
- Initialism of Sounds of Mass Production or Synthesia Murder Program.
- Initialism of Saw Mill Parkway.
- Initialism of Serial Management Protocol.
- Initialism of Scale Model Products.
- Initialism of Super Mario Party.
- Initialism of SOTA Mapping Project.
noun
- Initialism of single member plurality.
- (computing) Initialism of symmetric multiprocessing.
- (gaming, Minecraft) Initialism of survival multiplayer.
- Initialism of statement of monetary policy.
- Initialism of system modification program.
- (British) Initialism of statutory maternity pay (“payments made by an employer to an employee who is absent from work due to their pregnancy”).
- Initialism of stable marriage problem or stable matching problem.
- (computing) Initialism of support and maintenance package.
- (cryptography) Initialism of socialist millionaire problem.
- Initialism of surface-mount package.
- Initialism of stable massive particle.
- Initialism of scalp micropigmentation.
- Initialism of system marginal price (“the marginal electricity price in a power system optimization”).
- Initialism of shape-memory polymer.
- Initialism of signal message processor.
- Initialism of slow-moving proteinase.
- Initialism of silyl modified polymer.
noun
name
- (networking) Initialism of Session Description Protocol.
- (Finnish politics) Initialism of Social Democratic Party of Finland (“Suomen sosialidemokraattinen puolue”).
- (Singaporean politics) Initialism of Singapore Democratic Party
- (UK politics, historical, 1981–1988) Initialism of Social Democratic Party, a centre-left political party in the United Kingdom.
noun
- (computing theory) A theoretical entity capable of answering some collection of questions.
- A wise sentence or decision of great authority.
- A person such as a priest through whom the deity is supposed to respond with prophecy or advice.
- A shrine dedicated to some prophetic deity.
- One who communicates a divine command; an angel; a prophet.
- A person considered to be a source of wisdom.
- A fortune-teller.
- (Jewish antiquity) The sanctuary, or most holy place in the temple; also, the temple itself.
- A prophetic response, often enigmatic or allegorical, so given.
- (cryptocurrencies) A third-party service that provides smart contracts with information from the outside world.
- a prophecy (usually obscure or allegorical) revealed by a priest or priestess; believed to be infallible
- an authoritative person who divines the future
- a shrine where an oracular god is consulted
noun
- (computing) One of several alternative computational paradigms for a given theory.
- (literature) An approach to interpretation and/or evaluation focused on the (usually linguistic) structure of a literary work rather than on the contexts of its origin or reception.
- (philosophy of mathematics) The ontological view of mathematics as a mere collection of string manipulation rules.
- (music) The tendency to elevate formal above expressive value in music, as in serialism.
- (mathematics, physics) A particular mathematical or scientific theory or description of a given state or effect.
- Strict adherence to a given form of conduct, practice etc.
- (linguistics, computing, mathematics) A formal expression of a grammar; a formal grammar; a set of rules of syntax that, without reference to semantics, determine whether a sequence of symbols is a well-formed sentence in a given formal language.
- the practice of scrupulous adherence to prescribed or external forms
- (philosophy) the philosophical theory that formal (logical or mathematical) statements have no meaning but that its symbols (regarded as physical entities) exhibit a form that has useful applications
- the doctrine that formal structure rather than content is what should be represented
noun
- (computing theory) Any of the set of strings that can be generated by a given formal grammar.
- (logic) A formula with no free variables.
- A punishment imposed on a person convicted of a crime.
- (grammar) A grammatically complete series of words consisting of a subject and predicate, even if one or the other is implied. In modern writing, when using e.g. the Latin, Greek or Cyrillic alphabets, typically beginning with a capital letter and ending with a full stop or other punctuation.
- The judicial order for a punishment to be imposed on a person convicted of a crime.
- (criminal law) a final judgment of guilty in a criminal case and the punishment that is imposed
- the period of time a prisoner is imprisoned
- a string of words satisfying the grammatical rules of a language
verb
noun
- (programming, loosely) An actual value given to such a formal parameter.
- A value kept constant during an experiment, equation, calculation, or similar, but varied over other versions of the experiment, equation, calculation, etc.
- (crystallography) The ratio of the three crystallographic axes which determines the position of any plane.
- (sciences) A variable that describes a property or characteristic of some system (material, object, event, etc.) or some aspect thereof.
- (geometry) In the ellipse and hyperbola, a third proportional to any diameter and its conjugate, or in the parabola, to any abscissa and the corresponding ordinate.
- (programming) An input variable of a function definition, that gets an actual value (argument) at execution time.
- (commutative algebra) Clipping of uniformizing parameter.
- A characteristic or feature that distinguishes something from others.
- (crystallography) The fundamental axial ratio for a given species.
- (statistics) Any measured quantity of a statistical population that summarises or describes an aspect of the population.
- (machine learning) A variable of a model that is trained by a machine learning algorithm.
- a constant in the equation of a curve that can be varied to yield a family of similar curves
- any factor that defines a system and determines (or limits) its performance
- a quantity (such as the mean or variance) that characterizes a statistical population and that can be estimated by calculations from sample data
- (computer science) a reference or value that is passed to a function, procedure, subroutine, command, or program
noun
- (computing theory) A set of formal languages with certain desirable closure properties, in particular those of the regular languages, the context-free languages and the recursively enumerable languages.
- An ice cream cone.
- The fruit of a conifer.
- (anatomy) Any of the small cone-shaped structures in the retina.
- (topology) A space formed by taking the direct product of a given space with a closed interval and identifying all of one end to a point.
- A unit of volume, applied solely to marijuana and only while it is in a smokable state; roughly 1.5 cubic centimetres, depending on use.
- (slang, by extension) A passenger on a cruise ship (that needs to be navigated around).
- (slang) A cone-shaped cannabis joint.
- (geometry) A surface of revolution formed by rotating a segment of a line around another line that intersects the first line.
- (slang) The process of smoking cannabis in a bong.
- (slang) The bowl piece on a bong.
- A traffic cone.
- A cone-shaped flower head of various plants, such as banksias and proteas.
- (geometry) A solid of revolution formed by rotating a triangle around one of its altitudes.
- A shell of the genus Conus, having a conical form.
- (category theory) An object V together with an arrow going from V to each object of a diagram such that for any arrow A in the diagram, the pair of arrows from V which subtend A also commute with it. (Then V can be said to be the cone’s vertex and the diagram which the cone subtends can be said to be its base.)
- cone-shaped mass of ovule- or spore-bearing scales or bracts
- a shape whose base is a circle and whose sides taper up to a point
- a visual receptor cell in the retina that is sensitive to bright light and to color
- any cone-shaped artifact
verb
noun
- (computing theory) An entity that resembles, but is not in fact, a state in a state machine or similar.
- (politics) A geopolitical entity which has some of the trappings of an independently-governed country or territory, but which lacks real independence and is not recognized as a self-governing political entity by the international community of nations.
noun
- (computing, sometimes attributive) A kind of user interface in literate programming, allowing calculations to be interspersed with human-readable comments, diagrams, etc.
- (computing) Ellipsis of notebook computer (“laptop computer”).
- A book in which notes or memoranda are written.
- a small compact portable computer
- a book with blank pages for recording notes or memoranda
noun
- (computer science) A statement that declares the properties of a variable or contributes to doing so.
- One who declares.
- (bridge) The person who wins the bidding and so declares what suit will be trump.
- someone who claims to speak the truth
- the bridge player in contract bridge who wins the bidding and can declare which suit is to be trumps
noun
- (computing theory) A concise description of a regular formal language with notations for concatenation, alternation, and iteration (repetition) of subexpressions.
- (computing, more generally) Any pattern for text matching or searching, frequently offering more or less functionality than a theoretical regular expression.
noun
- (computer science) Initialism of dynamic programming.
- (baseball, softball) Initialism of double play.
- Initialism of dynamic positioning.
- Initialism of display port.
- (chemistry) Initialism of degree of polymerization.
- (motor racing) Abbreviation of Daytona prototype.
- (computing) Initialism of developer preview.
- (film) Initialism of director of photography.
- (grammar) Abbreviation of determiner phrase.
- (nuclear physics) Initialism of decay product.
- (slang) Initialism of dickpic.
- Initialism of data processing.
- (slang) Initialism of double penetration.
- Initialism of display picture.
- Initialism of displaced person.
- Initialism of delusional parasitosis.
- a person forced to flee from home or country
name
verb
noun
- (mathematics) Initialism of nonlinear programming.
- (psychology) Initialism of neuro-linguistic psychotherapy.
- (computing) Initialism of natural language processing.
- (pseudoscience, psychology) Initialism of neuro-linguistic programming.
- the branch of information science that deals with natural language information
name
phrase
noun
- (computing theory) A function from (state, input symbol) to state describing what state to move to on receiving a given input in a given state.
- (differential geometry) A homeomorphism that bijects between the subsets of the images of two overlapping coordinate charts that are shared in the preimage: For (U_1,φ₁) and (U_2,φ₂) coordinate charts with U_1∩U_2≠∅, the transition functions φ₁₂=φ₂∘φ₁⁻¹ and its inverse φ₂₁=φ₁∘φ₂⁻¹ may be constructed.
noun
noun
- (computing theory) An abstract computing machine that has a finite number of possible internal states and operates on an infinite memory tape by first reading a symbol from a cell in the tape, and then, deterministically, based on that symbol and the machine’s state, writing a symbol in that cell, moving to a neighboring cell, and/or changing state.
- a hypothetical computer with an infinitely long memory tape
noun
name
noun
- (computing theory) A tag attached to variables and values used in determining which kinds of value can be used in which situations.
- A grouping based on shared characteristics; a class.
- (uncountable) Such types collectively, or a set of type of one font or size.
- An individual that represents the ideal for its class; an embodiment.
- (obsolete except in the above special senses) A symbol, emblem, or example of something.
- (fine arts) The original object, or class of objects, scene, face, or conception, which becomes the subject of a copy; especially, the design on the face of a medal or a coin.
- (taxonomy) Something, often a specimen, selected as an objective anchor to connect a scientific name to a taxon; this need not be representative or typical.
- An individual considered typical of its class, one regarded as typifying a certain profession, environment, etc.
- (mathematics) A part of the partition of the object domain of a logical theory (which due to the existence of such partition, would be called a typed theory). (Note: this corresponds to the notion of "data type" in computing theory.)
- Preferred sort of person; sort of person that one is attracted to.
- (corpus linguistics) A word that occurs in a text or corpus irrespective of how many times it occurs, as opposed to a token.
- (chemistry) A simple compound, used as a mode or pattern to which other compounds are conveniently regarded as being related, and from which they may be actually or theoretically derived.
- (chiefly uncountable) Text printed with such type, or imitating its characteristics.
- (theology) An event or person that prefigures or foreshadows a later event - commonly an Old Testament event linked to Christian times.
- (medicine) A blood group.
- a person of a specified kind (usually with many eccentricities)
- a subdivision of a particular kind of thing
- (biology) the taxonomic group whose characteristics are used to define the next higher taxon
- a small metal block bearing a raised character on one end; produces a printed character when inked and pressed on paper
- all of the tokens of the same symbol
- printed characters
adv
verb
- To furnish an expression or copy of; to represent; to typify.
- To represent by a type, model, or symbol beforehand; to prefigure.
- To categorize into types.
- To put text on paper using a typewriter.
- To determine the blood type of.
- To enter text or commands into a computer using a keyboard.
- write by means of a keyboard with types
- identify as belonging to a certain type
noun
- (computing theory) A partial description gleaned from data mining.
- (countable) A small, compact chunk or clump.
- (Australia, slang, countable) An item that is typically old and of dubious quality or poor condition.
- (countable) A small piece of tasty food, a tidbit.
- (uncountable) A type of boot polish.
- (countable, slang) An inexperienced, newly trained fighter pilot.
- (countable) A bud from the Cannabis sativa plant, especially one that is potent.
- (countable) A tidbit of something valuable.
- (slang, countable) A person with no arms or legs; a basket case.
- (countable) A chicken nugget.
- a solid lump of a precious metal (especially gold) as found in the earth
verb
noun
- (computing theory) Abbreviation of nondeterministic polynomial, the complexity class of computational problems that a nondeterministic Turing machine can solve in polynomial time.
- Initialism of notary public.
- (nanotechnology) Initialism of nanoparticle.
- Initialism of national park.
- Initialism of nurse practitioner.
- (linguistics) Initialism of noun phrase.
- (medicine, pathology) Abbreviation of nosocomial pneumonia.
- a registered nurse who has received special training and can perform many of the duties of a physician
name
phrase
noun
name
- (networking) Initialism of Session Description Protocol.
- (Finnish politics) Initialism of Social Democratic Party of Finland (“Suomen sosialidemokraattinen puolue”).
- (Singaporean politics) Initialism of Singapore Democratic Party
- (UK politics, historical, 1981–1988) Initialism of Social Democratic Party, a centre-left political party in the United Kingdom.
adj
noun
- (countable, grammar) A verb in the imperative mood.
- (uncountable, grammar) The grammatical mood expressing an order (see jussive). In English, the imperative form of a verb is the same as that of the bare infinitive.
- (countable) An essential action, a must: something which is imperative.
- a mood that expresses an intention to influence the listener's behavior
- a verb in the imperative mood.
- some duty that is essential and urgent
adj
- (computing theory) Having semantics defined purely in terms of mathematical functions, without side-effects.
- Optimized for all-around physiological benefit.
- Useful; serving a purpose, fulfilling a function.
- (mathematics) Of or relating to a function or functions.
- Of or relating to one's role or office; official.
- Only for functional purposes, notably in architecture.
- In good working order.
- (physiology, psychology) Characterizing functioning in environment, being symptoms that do not presuppose alteration of organic structure.
- designed for or adapted to a function or use
- involving or affecting function rather than physiology
- (of e.g. a machine) performing or capable of performing
- relating to or based on function especially as opposed to structure
- designed for or capable of a particular function or use
- fit or ready for use or service
noun
- (mathematics) A function that takes a function as its argument; more precisely, a function whose argument varies in a space of (real or complex valued) functions and whose value belongs to a monodimensional space.
- (computing) An object encapsulating a function pointer (or equivalent).
- (mathematics, functional analysis) A scalar-valued linear function on a vector space.
adj
- (computing theory) Employing or relating to fuzzy logic.
- Not clear; unfocused.
- Vague or imprecise.
- Covered with fuzz or a large number of tiny loose fibres like a carpet or many stuffed animals.
- Warm and comforting; affectionate.
- covering with fine light hairs
- confused and not coherent; not clearly thought out
- indistinct or hazy in outline
noun
- (slang) A police officer.
- (often in the plural) A very small piece of plush material such as lint.
- Something covered with fuzz or hair, as an animal or plush toy.
- (slang) A person, especially a college student, interested in humanities or social sciences, as opposed to one interested in mathematics, science, or engineering.
- (slang, military) A soldier with the rank of private.
adj
- (computing) Relating to the conceptual model of a system rather than its physical expression
- (not comparable) Of or pertaining to logic.
- Reasonable.
- (not comparable) In agreement with the principles of logic; sequacious.
- marked by an orderly, logical, and aesthetically consistent relation of parts
- based on known statements or events or conditions
- capable of or reflecting the capability for correct and valid reasoning
- capable of thinking and expressing yourself in a clear and consistent manner
adj
- (computing theory, not comparable, of a function) which can be computed by a theoretical model of a computer, in a finite amount of time
- (mathematics, not comparable) of an expression, each term of which is determined by applying a formula to preceding terms
- drawing upon itself, referring back.
- (computing theory, not comparable, of a set) whose characteristic function is recursive (4)
- (computing, not comparable) of a program or function that calls itself
- of or relating to a recursion
adj
- (programming) Properties of the program that can be reasoned about during compilation.
- (computing) Operations performed by a compiler (the “compile-time operations”).
- (computing) Programming language requirements that must be met by source code for it to be successfully compiled (the “compile-time requirements”).
adj
noun
adj
noun
adj
- (programming) Able to represent a number of ideas or concepts.
- (linguistics) Conveying the speaker's emotions and/or attitudes, in addition to the denotative or literal meaning.
- Effectively conveying thought or feeling.
- characterized by expression
- performing gestures or possessing qualities or features that suggest a certain state of being or emotion
noun
- (linguistics) Any word or phrase that expresses (that the speaker, writer, or signer has) a certain attitude toward or information about the referent.
- (linguistics, more narrowly) A word or phrase, belonging to a distinct word class or having distinct morphosyntactic properties, with semantic symbolism (for example, an onomatopoeia), variously considered either a synonym, a hypernym or a hyponym of ideophone.