определение, ориентированное на синтаксис, для определения типа выражения

Рассмотрим грамматику:

E→E+T/T
T→num.num/num

Грамматика генерирует выражение + к целому или вещественному. При добавлении двух целых чисел результирующий тип является целым числом, в противном случае он является вещественным.

Дайте определение, ориентированное на синтаксис, чтобы определить тип выражения. Как я могу решить эту проблему? Пожалуйста, кто-нибудь может объяснить мне. Спасибо!!!


comment
Звучит как домашнее задание. Что вы сделали до сих пор?   -  person Felix Kling    schedule 30.12.2016
comment
Это не домашнее задание, я пытался решить этот вопрос, но не могу. Пожалуйста, вы можете помочь.   -  person user4221591    schedule 30.12.2016
comment
Синтаксисно-ориентированное определение для какого генератора синтаксических анализаторов? Каковы требуемые входы и выходы в этой задаче?   -  person Kaz    schedule 30.12.2016
comment
В верхней части моей головы это напоминает мне, как это делает OCaml, см.: Почему OCaml (+) не полиморфен? , например использует как +, так и +.   -  person Guy Coder    schedule 31.12.2016