Descriptional Complexity of the Languages KaL: Automata, Monoids and Varieties

Computer Science – Formal Languages and Automata Theory

Scientific paper

Rate now

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Details

In Proceedings DCFS 2010, arXiv:1008.1270

Scientific paper

10.4204/EPTCS.31.15

The first step when forming the polynomial hierarchies of languages is to consider languages of the form KaL where K and L are over a finite alphabet A and from a given variety V of languages, a being a letter from A. All such KaL's generate the variety of languages BPol1(V). We estimate the numerical parameters of the language KaL in terms of their values for K and L. These parameters include the state complexity of the minimal complete DFA and the size of the syntactic monoids. We also estimate the cardinality of the image of A* in the Schuetzenberger product of the syntactic monoids of K and L. In these three cases we obtain the optimal bounds. Finally, we also consider estimates for the cardinalities of free monoids in the variety of monoids corresponding to BPol1(V) in terms of sizes of the free monoids in the variety of monoids corresponding to V.

No associations

LandOfFree

Say what you really think

Search LandOfFree.com for scientists and scientific papers. Rate them and share your experience with other people.

Rating

Descriptional Complexity of the Languages KaL: Automata, Monoids and Varieties does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Descriptional Complexity of the Languages KaL: Automata, Monoids and Varieties, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Descriptional Complexity of the Languages KaL: Automata, Monoids and Varieties will most certainly appreciate the feedback.

Rate now

     

Profile ID: LFWR-SCP-O-583276

  Search
All data on this website is collected from public sources. Our data reflects the most accurate information available at the time of publication.