Boundedness Testing for Unambiguous Context-Free Grammars

L'existence de borne est une propriete interessante des grammaires algebriques, en particulier lorsque l'on etudie differents problemes de decidabilite. On montre qu'il existe un algorithme a temps polynomial pour les grammaires algebriques non-ambigues. Le probleme reste ouvert pour des grammaires algebriques quelconques