We have two tags at the moment which seem to be the same topic. I think we should make one the synonym for the other. So my suggestion is to merge formal-grammars into grammars.
1 Answer
$\begingroup$
$\endgroup$
3
I've merged grammars into formal-grammars, because the use count was 2 vs 11. The direction can easily be reversed. Should it?
-
$\begingroup$ I am in favor of the reverse direction, but it is not a very important issue. $\endgroup$– KavehApr 30, 2012 at 1:14
-
$\begingroup$ +1 since I don't think we need both, but I think I'd favor the other direction as well. $\endgroup$ Apr 30, 2012 at 15:46
-
$\begingroup$ Pro merge, and pro the direction you merged; NLP people might make questions in the future concerning non-formal grammars (?). $\endgroup$– Raphael ModApr 30, 2012 at 17:02
formal
is redundant here and I haven't heard anyone call them as such. $\endgroup$