JAVA条件运算符构造的哪些方面是正式描述的，哪些方面是非正式描述的

这个关于我课程作业的问题我不明白。 JAVA语言规范（第三版）可供浏览或 下载地址：java.sun.com/docs/books/jls/。找到它的部分 它描述了所谓的条件运算符“？：”。 JAVA条件运算符构造的哪些方面被正式描述，哪些方面被非正式描述。

---

请帮助我理解“正式描述JAVA条件运算符构造的各个方面”的含义。

根据我，JAVA语言规范（JLS）是由Sun Microsystems制定的，因此JLS中描述的内容都是正式描述的，例如条件运算符。JLS不像是一本作者的书，作者有权以自己的风格解释Java术语和事物。

我猜您的讲师所指的是正式规范，这是您在本手册中可以找到的唯一正式描述。形式规范的目标是以一种可以进行数学分析的形式来表达计算机语言

我不想为您做家庭作业，但以下是BNF中的一个正式语言表达式示例：

grammar ::= [{ assignment }] eoi
assignment ::= name ('::=' | '=') expression
expression = term [{ '|' term }]
term = factor [{ white factor }]
factor = IO | name | '[' expression ']' | '&{' expression '&}'
IO = '\'' string '\'' | '"' string '"' | '`' string '`'

具有讽刺意味的是，这颗小小的宝石是BNF，它定义了。您会注意到，一行中的每个元素都由其下面的行描述。BNF只是一种形式化表示法，但它非常常用于数学上表示编程语言，因为它很容易被解析器分解

---

JLS的非正式部分将是那些用BNF表示的部分。它们可以采用简单的句子或项目符号列表的形式，用简单的英语描述功能。你会在你的家庭作业中发现很多这样的问题。祝你好运

谢谢，但是有关于构造和哪个部分的非正式描述吗？。问题不清楚，我在课程笔记中找不到任何信息。谢谢你，我刚想出来。我认为这是正确的答案。