Exercise-ch5: Difference between revisions
Jump to navigation
Jump to search
Line 48: | Line 48: | ||
|type="{}"} | |type="{}"} | ||
a. (('''walk'''_{ (e,(e,t)) _9 } • ''e''_{ e _1 }) • ''aragorn''_{ e _1 })_{ t _1 } | a. (('''walk'''_{ (e,(e,t)) _9 } • ''e''_{ e _1 }) • '''aragorn'''_{ e _1 })_{ t _1 } | ||
b. ('''hobbit'''_{ (e,t) _5} • ''y''_{ e _1 })_{ t _1 } | b. ('''hobbit'''_{ (e,t) _5} • ''y''_{ e _1 })_{ t _1 } | ||
</quiz> | </quiz> |
Revision as of 23:10, 15 March 2013
Exercises for chapter 5: Simple LRS
New notation
Semantic types