Context-sensitive languageIn formal language theory, a context-sensitive language is a language that can be defined by a context-sensitive grammar (and equivalently by a noncontracting grammar). Context-sensitive is one of the four types of grammars in the Chomsky hierarchy. Computationally, a context-sensitive language is equivalent to a linear bounded nondeterministic Turing machine, also called a linear bounded automaton. That is a non-deterministic Turing machine with a tape of only cells, where is the size of the input and is a constant associated with the machine.
Instrument approachIn aviation, an instrument approach or instrument approach procedure (IAP) is a series of predetermined maneuvers for the orderly transfer of an aircraft operating under instrument flight rules from the beginning of the initial approach to a landing, or to a point from which a landing may be made visually. These approaches are approved in the European Union by EASA and the respective country authorities and in the United States by the FAA or the United States Department of Defense for the military.
Poverty reductionPoverty reduction, poverty relief, or poverty alleviation is a set of measures, both economic and humanitarian, that are intended to permanently lift people out of poverty. Measures, like those promoted by Henry George in his economics classic Progress and Poverty, are those that raise, or are intended to raise, ways of enabling the poor to create wealth for themselves as a conduit of ending poverty forever. In modern times, various economists within the Georgism movement propose measures like the land value tax to enhance access to the natural world for all.
G-forceThe gravitational force equivalent, or, more commonly, g-force, is a measurement of the type of force per unit mass – typically acceleration – that causes a perception of weight, with a g-force of 1 g (standard gravity force; not gram in mass measurement) equal to the conventional value of gravitational acceleration on Earth, g, of about 9.8m/s2. Since g-forces indirectly produce weight, any g-force can be described as a "weight per unit mass" (see the synonym specific weight).