
Pierron Nicolas.
Formal Definition of Disambiguation with Attribute Grammars.
CSI Seminar 16 May 2007
The current problem of the disambiguation in Transformers with attribute grammars is that no-one has a proof that allows certification of this approach. The current use of attribute grammars for the disambiguation of C and a part of C++ lets us think that this method is correct.
In order to remove any doubt, a definition and a formalization of our approach are necessary. This work is split in two. The first part relates to the proof of the validity of the approach used in Transformers. The second part is devoted to the correction and the Re-development of the existing tools in order to correspond to the definite model.
to top