Exercise-ch5: Difference between revisions
Jump to navigation
Jump to search
Line 39: | Line 39: | ||
a. '''frodo'''_{ e _1 }<br /> | a. '''frodo'''_{ e _1 }<br /> | ||
b. '''hobbit'''_{ (e,t) _5 }<br /> | b. '''hobbit'''_{ (e,t) _5 }<br /> | ||
c. '''walk'''_{ (e,(e,t)) _9 } | c. '''walk'''_{ (e,(e,t)) _9 }<br /> | ||
d. '''help'''_{ (e,(e,(e,t))) _13} | d. '''help'''_{ (e,(e,(e,t))) _13}<br /> | ||
e. ('''hobit'''•''x'')_{ t _13} | |||
</quiz> | </quiz> |
Revision as of 22:58, 15 March 2013
Exercises for chapter 5: Simple LRS
New notation
Semantic types