Exercise-ch5: Difference between revisions
Jump to navigation
Jump to search
Line 34: | Line 34: | ||
<quiz display="simple"> | <quiz display="simple"> | ||
{Add the semantic types in the blanks. | {Add the semantic types in the blanks. Use simple letters ("e" or "t") for simple types. Use round brackets for complex types (for example: "(e,t)"). | ||
|type="{}"} | |type="{}"} | ||
a. '''frodo'''_{ e _1 }<br /> | a. '''frodo'''_{ e _1 }<br /> | ||
b. '''hobbit'''_{ (e,t) }<br /> | b. '''hobbit'''_{ (e,t) _5 }<br /> | ||
c. '''walk'''_{ (e,(e,t)) _9 } | |||
</quiz> | </quiz> |
Revision as of 22:56, 15 March 2013
Exercises for chapter 5: Simple LRS
New notation
Semantic types