In order to compare the descriptional complexity of context-free and (combinatoric) categorical I need a way to check if a categorical grammar of a formal language is minimal concerning lexical entries.
Any ideas on how to do that? Any work on this, that you might know of?
Thanks!