منابع مشابه
Syntax-Directed Translations and Quasi-alphabetic Tree Bimorphisms - Revisited
Quasi-alphabetic tree bimorphisms [Steinby and Tîrn uc : Syntax-Directed Translations and Quasi-Alphabetic Tree Bimorphisms. Proc. CIAA, LNCS 4783:265 276, 2007] are reconsidered. It is known that the class of (string) translations de ned by such bimorphisms coincides with the class of syntax-directed translations. This result is extended to a smaller class of tree bimorphisms namely (linear an...
متن کاملQuantum Fields and Translations
Modifications of a free quantum field calculation using translation-related concepts and general translation representations yield quantum fields for massive particles that as a consequence follow the classical trajectories of electrodynamics and geometrodynamics. The work allows an explanation for the unexpectedly high energy of cosmic rays. The explanation can be tested at the Large Hadron Co...
متن کاملPossible - Translations
This text aims at providing a bird's eye view of possible-translations semantics ([10, 24]), defined, developed and illustrated as a very comprehensive formalism for obtaining or for representing semantics for all sorts of logics. With that tool, a wide class of complex logics will very naturally turn out to be (de)composable by way of some suitable combination of simpler logics. Several exampl...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: General Topology and its Applications
سال: 1972
ISSN: 0016-660X
DOI: 10.1016/0016-660x(72)90025-6