登入選單
返回Google圖書搜尋
Programming in Coupled Context-free Grammars
註釋Abstract: "A formal grammar: Coupled Context Free Grammar (CCFG) which is an extension of the syntax directed translations; and a programming system based on CCFG, are proposed. In this system, context free grammars are interpreted as the specifications of input and output data structures and a CCFG is as a program which specifies the relation between the data structures. A new concept of a multiple data structure is also presented. The semantics of a program is given by the set of tuples of terminal strings generated by the program. This system is a mathematical basis of our study of data structure directed programming. Some typical examples are presented in order to show programming techniques in this system."