The Magic Number Problem for Subregular Language Families

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.13

We investigate the magic number problem, that is, the question whether there exists a minimal n-state nondeterministic finite automaton (NFA) whose equivalent minimal deterministic finite automaton (DFA) has alpha states, for all n and alpha satisfying n less or equal to alpha less or equal to exp(2,n). A number alpha not satisfying this condition is called a magic number (for n). It was shown in [11] that no magic numbers exist for general regular languages, while in [5] trivial and non-trivial magic numbers for unary regular languages were identified. We obtain similar results for automata accepting subregular languages like, for example, combinational languages, star-free, prefix-, suffix-, and infix-closed languages, and prefix-, suffix-, and infix-free languages, showing that there are only trivial magic numbers, when they exist. For finite languages we obtain some partial results showing that certain numbers are non-magic.

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

The Magic Number Problem for Subregular Language Families 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 The Magic Number Problem for Subregular Language Families, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and The Magic Number Problem for Subregular Language Families will most certainly appreciate the feedback.

Rate now

     

Profile ID: LFWR-SCP-O-583266

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