Basketo special woreda computation histories with an NPDA, since non-determinism could be used to skip past a test that would otherwise fail. A linear-bounded Turing machine is sufficient to recognize accepting computation histories. This result allows us to prove that formula_35, the language of pushdown automata which accept all input, is undecidable. Suppose we have a decider for it, formula_36. For any Turing machine formula_1 and input formula_17, we can form the pushdown automaton formula_39 which accepts non-accepting computation histories for that machine. formula_40 will accept if and only if there are no accepting computation histories for formula_1 on formula_17	Computation history
13145914	; this would allow us to decide formula_43, which we know to be undecidable. Computation history In computer science, a computation history is a sequence of steps taken by an abstract machine in the process of computing its result. Computation histories are frequently used in proofs about the capabilities of certain machines, and particularly about the undecidability of various formal languages. Formally, a computation history is a (normally finite) sequence of configurations of a formal automaton. Each configuration fully describes the status of the machine at a particular point. To be valid, certain conditions must hold: In addition, to be complete	Computation history
13145915	Shibuya Jazz Classics: Toshiko Akiyoshi Issue Shibuya Jazz Classics: Toshiko Akiyoshi Issue Shibuya Jazz Classics, Monday Michiru Collection, Toshiko Akiyoshi Issue is a compilation album of recordings by jazz pianist, composer, arranger and bandleader Toshiko Akiyoshi both in small combo and big band settings. The collection was compiled by Akiyoshi's daughter, Monday Michiru and released in Japan by Solid Records. References. Solid Records (Japan) CDSOL-1121 Shibuya Jazz Classics: Toshiko Akiyoshi Issue Shibuya Jazz Classics, Monday Michiru Collection, Toshiko Akiyoshi Issue is a compilation album of recordings by jazz pianist, composer, arranger and bandleader Toshiko Akiyoshi both in small combo and big band settings. The collection 	Shibuya Jazz Classics: Toshiko Akiyoshi Issue
13145916	Basketo special woreda Basketo special woreda Basketo is a woreda in the Southern Nations, Nationalities, and Peoples' Region of Ethiopia, named after its inhabitants, the Basketo people. Because Basketo is not part of any administrative Zone in the SNNPR, it is considered a special woreda—an administrative subdivision which is similar to an autonomous area. Settlements. The administrative center is Laska; other rural administrative centres include Donka, Saattsa, Zabba, Mandit, Obc'a, Bunibas, Gaara etc. Geography. Basketo is bordered in the south and west by the Debub (South) Omo Zone, and in the north and east by the Gamo Gofa Zone. Rivers in this 	Basketo special woreda
13145917	woreda include the Berso, Sirso, Sanka, Usino and the Ergino. Economy. Food crops include enset, sweet potatoes, yams, taro, maize and horse beans, while coffee and the cardamom-like spice aframomum corrorima are significant cash crops. According to a 2004 report, Basketo had 27 kilometers of all-weather roads and 180 kilometers of dry-weather roads, for an average road density of 1803 kilometers per 1000 square kilometers. History. Originally Basketo was part of the Semien (North) Omo Zone, and the 1994 national census counted its inhabitants as part of that Zone. However friction between the various ethnic groups in 	Basketo special woreda
13145918	this Zone, which was often blamed on the Welayta for ethnic chauvinism" and despite the efforts of the ruling party to emphasize the need to co-ordinate, consolidate, and unify the smaller ethnic units to achieve the "efficient use of scarce government resources", eventually led to the division of the Zone in 2000, and reorganizing Basketo as a special woreda. Basketo was selected by the Ministry of Agriculture and Rural Development in 2004 as one of several woredas for voluntary resettlement for farmers from overpopulated areas, becoming the new home for a total of 7,000 heads of households and 28,000  total family members. Demographics. Based on the 2007 Census conducted by the Central Statistical Agency of Ethiopia (CSA), this woreda has a total population of 56,689, of whom 28,532 are men and 28,157 women. With an area of 411.09 square kilometers, Basketo has a population density of 137.90; 5,215 or 9.20% are urban inhabitants. A total of 13,424 households were counted in this woreda, which results in an average of 4.22 persons to a household, and 13,069 housing units. The four largest ethnic groups reported in Basketo were the namesake Basketo people (87.75%), the Wolayta (4.28%), the Amhara (3.73%), and  the Konso (1.92%); all other ethnic groups made up 2.32% of the population. Basketo is spoken as a first language by 89.06%, 4.18% Wolaytta, 3.09% Amharic, and 1.92% speak Konso; the remaining 1.75% spoke all other primary languages reported. 64.06% were Protestants, 30.73% of the population said they were Ethiopian Orthodox Christianity, 2.13% practiced traditional beliefs, 1.51% embraced Roman Catholics, and 1.25% were Muslim. The 1994 national census reported a total population for this woreda of 33,672 of whom 16,739 were men and 16,933 were women; 2,191 or 6.51% of its population were urban dwellers. The four largest ethnic groups  reported in Basketo were the namesake Basketo people (90.75%), the Amhara (4.04%), the Aari (2.74%), and the Gofa (0.81%); all other ethnic groups made up 1.66% of the population. Basketo is spoken as a first language by 93.2%, 2.94% Amharic, and 2.46% speak Aari; the remaining 1.4% spoke all other primary languages reported. Basketo special woreda Basketo is a woreda in the Southern Nations, Nationalities, and Peoples' Region of Ethiopia, named after its inhabitants, the Basketo people. Because Basketo is not part of any administrative Zone in the SNNPR, it is considered a special woreda—an administrative subdivision which is