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. Use simple letters ("e" or "t") for simple types. Use round brackets for complex types (for example: "(e,t)"). | {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)").} | ||
{Add the types for simple expressions: | |||
|type="{}"} | |type="{}"} | ||
Line 43: | Line 45: | ||
e. ('''hobit'''•''x'')_{ t _13} | e. ('''hobit'''•''x'')_{ t _13} | ||
{Add the semantic types | {Add the semantic types for complex expressions. | ||
|type = "{}"} | |type = "{}"} | ||
a. '''hobbit'''_{ (e,t) _5} • ''y''_{ e _5 })_{ t _5 } | a. '''hobbit'''_{ (e,t) _5} • ''y''_{ e _5 })_{ t _5 } | ||
</quiz> | </quiz> |
Revision as of 23:02, 15 March 2013
Exercises for chapter 5: Simple LRS
New notation
Semantic types