French Upper Volta and two years later on 5 August 1960, it attained full independence. On 4 August 1984, the name was changed to Burkina Faso. The name Upper Volta indicates that the country contains the upper part of the Volta River. The river is divided into three parts, called the Black Volta, White Volta and Red Volta. Until the end of the 19th century, the history of Upper Volta was dominated by the empire-building Mossi/Mossi Kingdoms, who are believed to have come up to their present location from present-day Northern Ghana. For centuries, the Mossi peasant was both farmer and soldier, and
Union of two regular languages Union of two regular languages In formal language theory, and in particular the theory of nondeterministic finite automata, it is known that the union of two regular languages is a regular language. This article provides a proof of that statement. For any regular languages formula_1 and formula_2, language formula_3 is regular." "Proof" Since formula_1 and formula_2 are regular, there exist NFAs formula_6 that recognize formula_1 and formula_2. Let Construct where In the following, we shall use formula_14 to denote formula_15 Let formula_16 be a string from formula_3. Without loss of generality assume formula_18. Let formula_19 where formula_20 Since formula_21 accepts