I came across problem asking whether given statement is true and false. The statement given was as follows:
Every Type-2 grammar can generate regular language.
I felt that Type-2 grammar means, its context free grammar and is generated by PDA. PDA is more powerful than FA which generate regular languages. Hence any Type-2 grammar should be able to generate regular language. But the answer given was FALSE saying that there are Type-2 grammars which generate "pure CFL" (non regular languages).
So I was guessing whats going on here. I have following doubts:
Is the question asking whether all CFLs are also regular? (which is not the case and thats why the given answer states "pure CFL")?
Is the question asking whether every CFG generate "all" regular languages? (which is obviously senseless and hence is FALSE?)
Is the answer FALSE because deterministic context free automata accepting on empty stack cannot even accept regular languages?