When developing a CFG, I find that one can be confused about whether the grammar is correct, i.e. whether it recognizes only the required strings and not other strings.But this can be hard to see?Are there techniques and tools for proof-reading, whether the grammar is correct and succinct enough?
Tools or techniques for studying the language a CFG produces?
context free;formal grammars;proof techniques