Какие аспекты конструкции условного оператора JAVA описаны формально и которые описаны неформально

Question

Этот вопрос на моем курсовом пути, который я не мог понять. Q. Спецификация JAVA Language (3rd Edn.) Доступна для просмотра или , загружаемая по адресу java.sun.com/docs/books/jls/. Найдите его раздел , описывающий так называемый условный оператор '? :». Какие аспекты конструкции условного оператора JAVA описаны формально и которые описаны неофициально. , пожалуйста, помогите мне понять, какая доза, которую он подразумевает под «аспектами конструкции условного оператора JAVA, описана формально»

Answer 1

По официальным данным, я бы предположил, что ваш инструктор ссылается на BNF, что касается единственного официального описания, которое вы найдете в JLS. Цель формальных спецификаций - слишком выраженные компьютерные языки в форме, которая может быть математически проанализирована.

Я не хочу, чтобы сделать свою домашнюю работу для вас, но вот пример выражения формального языка в BNF:

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

Этот маленький драгоценный камень является BNF, который по иронии судьбы, определяет grammar of a BNF. Вы заметите, что каждый элемент в строке описывается строками ниже. BNF - это всего лишь один тип формальной нотации, но он очень часто используется для математического выражения языков программирования, поскольку он легко разбивается на парсеры.

Неформальная часть JLS будет те частями, которые являются не выражается в BNF. Они могут принимать форму простых предложений или маркированных списков, которые описывают функцию на простом английском языке. Вы найдете достаточно много в своем домашнем задании. Удачи!

Answer 2

Согласно мне, спецификация Java Language Specification (JLS) выполнена Sun Microsystems, так что описано в JLS формально, например, условный оператор. JLS не похожа на авторскую книгу, в которой автор имеет право объяснять условия и вещи Java в его собственном стиле.