Republic of Upper Volta Republic of Upper Volta The Republic of Upper Volta (), now Burkina Faso, was a landlocked West African country established on December 11, 1958, as a self-governing colony within the French Community. Before attaining autonomy it had been French Upper Volta and part of the French Union. On August 5, 1960, it attained full independence from France. Thomas Sankara came to power through a military coup d'état on August 4, 1983. After the coup, he formed the National Council for the Revolution (CNR), with himself as president. Under the direction of Sankara, the country changed its name on August 4,
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