Currently the tag formal-language-theory is a synonym for the tag cs.fl.formal-languages, but the tag actually used for questions in formal language theory is fl.formal-languages. Therefore, please do the following:
- Change formal-language-theory from a synonym for cs.fl.formal-languages to a synonym for fl.formal-languages.
- Make cs.fl.formal-languages a synonym for fl.formal-languages.