Undecidability versus Degree Complexity of Decision Problems for Formal Grammars