IO-Macrolanguages and Attributed Translations
暂无分享,去创建一个
By specializing the semantic-rules for attributed context-free grammars introduced by Knuth (Math. Systems Theory 2, 127–145) simple-L-attributed grammars are defined. The translations determined by these grammars are languages called value-languages. In this paper the question of classifying value-languages is considered. It is shown that the value-languages of simple-L-attributed grammars are exactly the IO-macrolanguages.
[1] Michael J. Fischer,et al. Grammars with Macro-Like Productions , 1968, SWAT.
[2] Daniel J. Rosenkrantz,et al. Attributed Translations , 1974, J. Comput. Syst. Sci..