grammars with direct cycles deleted