# tags: grammars vs formal-grammars

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 into .

• It's better to be compatible with other sites, if we don't have a reason to do things differently. What do Stack Overflow, Theoretical Computer Science and Mathematics have? – Gilles 'SO- stop being evil' Mar 13 '12 at 0:34
• @Gilles, on Theoretical Computer Science we have grammars, on Mathematics there is not a similar tag, on Stack Overflow they have grammar and grammars (the first is more often used). – Kaveh Mar 13 '12 at 1:53
• I think formal-grammar should be preferred and grammar a synonym. – Raphael Mar 13 '12 at 6:37
• @Raphael, I lean towards the latter because I feel formal is redundant here and I haven't heard anyone call them as such. – Kaveh Mar 13 '12 at 13:08
• @Kaveh We say it most of the time (when precision is called for). I think it is worthwhile to separate formal grammars from grammars of natural languages. I do not know how NLP people use the term; we should avoid conflicts there. – Raphael Mar 13 '12 at 13:26
• @Raphael, the formal-languages tag should suffice to make sure it is not confused with a question in NLP and computational linguistics. – Kaveh Mar 13 '12 at 16:59
• See this question intended to collect all synonymous tags. – Raphael Mar 14 '12 at 10:24
• @Raphael, grammars for natural languages tend to be formal grammars as well, just not unambiguous formal grammars. A GLR parser's language model is as much a formalization as any BNF grammar. – Mike Samuel May 15 '12 at 3:59