Compiler construction 正式指定由以下正则表达式定义的语言

我正在用教授提供的过去的考试（没有答案）准备早上的考试。不幸的是，我错过了考试在课堂上解决的那一天，因此我不知道该怎么做。在过去的一个小时里，我一直在谷歌上寻找一个清晰的解释，但似乎无法理解。我将准确地列出这个问题。我的主要问题是什么使语言定义正式，为什么列出的表达式没有被认为是语言？我希望这是有意义的，我已经花了太多的时间来研究这个

正式指定由以下正则表达式定义的语言。如果您提供正则表达式，请确保将其简化为最简单的形式

（a） （11 | 111）*

（b） （ε|φ*1 | 0φ）+

（c） （0 | 1）*| 1*

---

如果你能帮我做任何一件事，并解释一下这个过程，我可以做剩下的事。非常感谢

我很确定，对于（a），“要么是一个空字符串，要么是一个n>=2的n 1s序列。”我当然会这样描述（a），但这被认为是“正式规范”吗？这就是我所能猜到的，尽管我可能错了。我认为正式规范的描述，与（比如）“非正式描述”相反，是为了表明你不能留下任何歧义。例如，“它不包括字符串‘1’”可以被视为“非正式描述”