Véhicule tout-terrainLe terme 'véhicule tout-terrain' désigne un véhicule à roues ou chenillé de type automobile, moto, camion, camionnette, pick-up, quad ou encore char destiné à être aussi à l'aise sur n'importe quel terrain (route, piste, montagne, off-road, boue, neige). vignette|upright|Un groupe de quads En général, toutes les roues d'un véhicule tout-terrain sont motrices.
Véhicule hybrideUn véhicule hybride est un véhicule faisant appel à plusieurs sources d'énergie distinctes pour se mouvoir. Les véhicules hybrides combinent plusieurs sources d'énergie dont souvent l'une est thermique et l'autre électrique. Le principe global très simplifié de ce type de motorisation consiste à profiter des avantages de chaque type de moteur en minimisant leurs inconvénients. Quatre architectures d'hybridation sont possibles : En série : le moteur thermique entraîne un alternateur sans fournir directement de couple à l'essieu, l'alternateur fournissant l’électricité à un moteur électrique.
Range extenderA range extender is a fuel-based auxiliary power unit (APU) that extends the range of a battery electric vehicle by driving an electric generator that charges the vehicle's battery. This arrangement is known as a series hybrid drivetrain. The most commonly used range extenders are internal combustion engines, but fuel-cells or other engine types can be used. Range extender vehicles are also referred to as extended-range electric vehicles (EREV), range-extended electric vehicles (REEV), and range-extended battery-electric vehicle (BEVx) by the California Air Resources Board (CARB).
EnumerationAn enumeration is a complete, ordered listing of all the items in a collection. The term is commonly used in mathematics and computer science to refer to a listing of all of the elements of a set. The precise requirements for an enumeration (for example, whether the set must be finite, or whether the list is allowed to contain repetitions) depend on the discipline of study and the context of a given problem. Some sets can be enumerated by means of a natural ordering (such as 1, 2, 3, 4, ...
Recursively enumerable languageIn mathematics, logic and computer science, a formal language is called recursively enumerable (also recognizable, partially decidable, semidecidable, Turing-acceptable or Turing-recognizable) if it is a recursively enumerable subset in the set of all possible words over the alphabet of the language, i.e., if there exists a Turing machine which will enumerate all valid strings of the language. Recursively enumerable languages are known as type-0 languages in the Chomsky hierarchy of formal languages.