Families of Regular Languages With Unbounded Star Height
The first question was answered in the negative when in 1963, Eggan gave examples of regular languages of star height n for every n. Here, the star height h(L) of a regular language L is defined as the minimum star height among all regular expressions representing L. The first few languages found by Eggan (1963) are described in the following, by means of giving a regular expression for each language:
The construction principle for these expressions is that expression is obtained by concatenating two copies of, appropriately renaming the letters of the second copy using fresh alphabet symbols, concatenating the result with another fresh alphabet symbol, and then by surrounding the resulting expression with a Kleene star. The remaining, more difficult part, is to prove that for there is no equivalent regular expression of star height less than n; a proof is given in (Eggan 1963).
However, Eggan's examples use a large alphabet, of size 2n-1 for the language with star height n. He thus asked whether we can also find examples over binary alphabets. This was proved to be true shortly afterwards by Dejean & Schützenberger (1966). Their examples can be described by an inductively defined family of regular expressions over the binary alphabet as follows–cf. Salomaa (1981):
Again, a rigorous proof is needed for the fact that does not admit an equivalent regular expression of lower star height. Proofs are given by (Dejean & Schützenberger 1966) and by (Salomaa 1981).
Read more about this topic: Star Height Problem
Famous quotes containing the words families of, families, regular, languages, star and/or height:
“Families have always been in flux and often in crisis; they have never lived up to nostalgic notions about “the way things used to be.” But that doesn’t mean the malaise and anxiety people feel about modern families are delusions, that everything would be fine if we would only realize that the past was not all it’s cracked up to be. . . . Even if things were not always right in families of the past, it seems clear that some things have newly gone wrong.”
—Stephanie Coontz (20th century)
“Families need families. Parents need to be parented. Grandparents, aunts, and uncles are back in fashion because they are necessary. Stresses on many families are out of proportion to anything two parents can handle.”
—T. Berry Brazelton (20th century)
“This is the frost coming out of the ground; this is Spring. It precedes the green and flowery spring, as mythology precedes regular poetry. I know of nothing more purgative of winter fumes and indigestions. It convinces me that Earth is still in her swaddling-clothes, and stretches forth baby fingers on every side.”
—Henry David Thoreau (1817–1862)
“I am always sorry when any language is lost, because languages are the pedigree of nations.”
—Samuel Johnson (1709–1784)
“It is the star to every wand’ring bark,
Whose worth’s unknown, although his height be taken.
Love’s not Time’s fool, though rosy lips and cheeks
Within his bending sickle’s compass come;
Love alters not with his brief hours and weeks,
But bears it out even to the edge of doom.”
—William Shakespeare (1564–1616)
“The most stupendous scenery ceases to be sublime when it becomes distinct, or in other words limited, and the imagination is no longer encouraged to exaggerate it. The actual height and breadth of a mountain or a waterfall are always ridiculously small; they are the imagined only that content us.”
—Henry David Thoreau (1817–1862)