Traffic light in the context of "Emergency vehicle"

A finite-state machine (FSM) or finite-state automaton (FSA, plural: automata), finite automaton, or simply a state machine, is a mathematical model of computation. It is an abstract machine that can be in exactly one of a finite number of states at any given time. The FSM can change from one state to another in response to some inputs; the change from one state to another is called a transition. An FSM is defined by a list of its states, its initial state, and the inputs that trigger each transition. Finite-state machines are of two types—deterministic finite-state machines and non-deterministic finite-state machines. For any non-deterministic finite-state machine, an equivalent deterministic one can be constructed.

The behavior of state machines can be observed in many devices in modern society that perform a predetermined sequence of actions depending on a sequence of events with which they are presented. Simple examples are vending machines, which dispense products when the proper combination of coins is deposited; elevators, whose sequence of stops is determined by the floors requested by riders; traffic lights, which change sequence when cars are waiting; and combination locks, which require the input of a sequence of numbers in the proper order.

Secondary notation is the set of visual cues used to improve the readability of a formal notation. Examples of secondary notation include the syntax highlighting of computer source code, sizes and color codes for easy recognition of consumer symbols such as bank notes or coins, or the regular typographic conventions often found in technical books to highlight sections with the same type of content.

Secondary notation provides redundant (more than necessary) information; if the visual cues are the only way that some information is provided, such as in traffic lights, or a chart's key, it is not secondary. Secondary notation is often not a part of the formal notation itself. Rather, it is a method of organizing the formal notation to allow it to be more easily understood. Thus, secondary notation does not change the actual meaning of the formal notation, rather it allows for the meaning to be readily understood. In text such as programming languages, this can be done using cues such as indentation and coloring. In formal graphical notations, this can be done through the use of symmetry or proximity to indicate relatedness.

Shared space is an urban design approach that minimises the segregation between modes of road user. This is done by removing features such as curbs, road surface markings, traffic signs, and traffic lights. Hans Monderman and others have suggested that, by creating a greater sense of uncertainty and making it unclear who has priority, drivers will reduce their speed, in turn reducing the dominance of vehicles, reducing road casualty rates, and improving safety for other road users.

Shared space design can take many different forms depending on the level of demarcation and segregation between different transportation modes. Variations of shared space are often used in urban settings, especially those that have been made nearly car-free (Dutch: autoluwe), and as part of living streets within residential areas. As a separate concept, "shared space" normally applies to semi-open spaces on busier roads, and here it is controversial.

In law and insurance, a proximate cause is an event sufficiently related to an injury that the courts deem the event to be the cause of that injury. There are two types of causation in the law: cause-in-fact, and proximate (or legal) cause. Cause-in-fact is determined by the "but for" test: But for the action, the result would not have happened. (For example, but for running the red light, the collision would not have occurred.) The action is a necessary condition, but may not be a sufficient condition, for the resulting injury. A few circumstances exist where the but-for test is ineffective (see But-for test below). Since but-for causation is very easy to show (but for stopping to tie your shoe, you would not have missed the train and would not have been mugged), a second test is used to determine if an action is close enough to a harm in a "chain of events" to be legally valid. This test is called proximate cause. Proximate cause is a key principle of insurance and is concerned with how the loss or damage actually occurred. There are several competing theories of proximate cause (see Other factors). For an act to be deemed to cause a harm, both tests must be met; proximate cause is a legal limitation on cause-in-fact.

The formal Latin term for "but for" (cause-in-fact) causation, is sine qua non causation.

Semaphore (lit. 'apparatus for signalling'; from Ancient Greek σῆμα (sêma) 'mark, sign, token' and Greek -φόρος (-phóros) 'bearer, carrier') is the use of an apparatus to create a visual signal transmitted over distance. A semaphore can be performed with devices including: fire, lights, flags, sunlight, and moving arms. Semaphores can be used for telegraphy when arranged in visually connected networks, or for traffic signalling such as in railway systems, or traffic lights in cities.

A hybrid electric vehicle (HEV) is a type of hybrid vehicle that couples a conventional internal combustion engine (ICE) with one or more electric engines into a combined propulsion system. The presence of the electric powertrain, which has inherently better energy conversion efficiency, is intended to achieve either better fuel economy or better acceleration performance than a conventional vehicle. There is a variety of HEV types and the degree to which each functions as an electric vehicle (EV) also varies. The most common form of HEV is hybrid electric passenger cars, although hybrid electric trucks (pickups, tow trucks and tractors), buses, motorboats, and aircraft also exist.

Modern HEVs use energy recovery technologies such as motor–generator units and regenerative braking to recycle the vehicle's kinetic energy to electric energy via an alternator, which is stored in a battery pack or a supercapacitor. Some varieties of HEV use an internal combustion engine to directly drive an electrical generator, which either recharges the vehicle's batteries or directly powers the electric traction motors; this combination is known as a range extender. Many HEVs reduce idle emissions by temporarily shutting down the combustion engine at idle (such as when waiting at the traffic light) and restarting it when needed; this is known as a start-stop system. A hybrid-electric system produces less tailpipe emissions than a comparably sized petrol engine vehicle since the hybrid's petrol engine usually has smaller displacement and thus lower fuel consumption than that of a conventional petrol-powered vehicle. If the engine is not used to drive the car directly, it can be geared to run at maximum efficiency, further improving fuel economy.

The Manual on Uniform Traffic Control Devices for Streets and Highways (usually referred to as the Manual on Uniform Traffic Control Devices, abbreviated MUTCD) is a document issued by the Federal Highway Administration (FHWA) of the United States Department of Transportation (USDOT) to specify the standards by which traffic signs, road surface markings, and signals are designed, installed, and used. Federal law requires compliance by all traffic control signs and surface markings on roads "open to public travel", including state, local, and privately owned roads (but not parking lots or gated communities). While some state agencies have developed their own sets of standards, including their own MUTCDs, these must substantially conform to the federal MUTCD.

The MUTCD defines the content and placement of traffic signs, while design specifications are detailed in a companion volume, Standard Highway Signs and Markings. This manual defines the specific dimensions, colors, and fonts of each sign and road marking. The National Committee on Uniform Traffic Control Devices (NCUTCD) advises FHWA on additions, revisions, and changes to the MUTCD. The current release of the MUTCD is the 11th edition released in December 2023.