Everything2
Near Matches
Ignore Exact
Full Text
Everything2

star height problem

created by rp

(idea) by rp (1.1 d) (print)   ?   (I like it!) Fri Jul 14 2000 at 10:26:45

If we only use regular expressions with a limited nesting depth of Kleene stars, are there regular languages we cannot express?

Specifically, is a nesting depth of more than 2 required? If so, can we determine how many are required?


This theoretical problem remained open for 30 years, to be solved by Kosaburu Hashiguchi in 1983. The answers are yes, yes, and yes.

However, for regular expression with complementation, in which we can write things like


  !(a u ab)*

the star height problem is still open; for details see
  http://www.liafa.jussieu.fr/~jep/Problemes/starheight.html

printable version
chaos

Kleene star regular language the expressive power of regular expressions Yes
2 formal language theory regular expression
Y'know, if you log in, you can write something here, or contact authors directly on the site. Create a New User if you don't already have an account.
  Epicenter
Login
Password

password reminder
register

Everything2 Help

Cool Staff Picks
Nodes to live by:
Parenting
You are precious to me. Did you know that?
Ark of the Covenant
Unicorn
Alan Keyes
meter
156/98
natural law
you can only make me dizzy if you're spinning me in leaves or snowflakes
Placozoa
Questions for those who don't like capitalism
Music of the Spheres
Factual Faction for the Freedom of Fine Facts
New Writeups
XWiz
Trism(review)
artman2003
Briefcase Full of Souls - Part I(fiction)
Dreamvirus
Alan Ladd(person)
waverider37
Harold Holt(person)
The Debutante
Until death do us part(fiction)
Ysardo
a brother to a sister(personal)
antigravpussy
your warm whispers(personal)
Clarke
Multiculturalism(idea)
aneurin
Earl of Landaff(person)
Heitah
Pseudocide(idea)
XWiz
Google Knol(lede)
Mythi
July 24, 2008(personal)
locke baron
The fall of Earth(fiction)
BookReader
Fear the Cold(dream)
Pavlovna
Kathleen MacInnes(person)
E2 is a by-product of the existence of The Everything Development Company