Exercise-ch5: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
|||
Line 81: | Line 81: | ||
|type="[]"} | |type="[]"} | ||
''e'' ¦ | '''chris''' ¦ | '''pat''' ¦ | '''wait''' ¦ | ''wait''' • ''e'' ¦ | ('''wait''' • ''e'') • '''chris''' ¦ | (('''wait''' • ''e'') • '''chris''') • '''pat''' | ''e'' ¦ | '''chris''' ¦ | '''pat''' ¦ | '''wait''' ¦ | ''wait''' • ''e'' ¦ | ('''wait''' • ''e'') • '''chris''' ¦ | (('''wait''' • ''e'') • '''chris''') • '''pat''' | ||
--+---- Pat | |||
+--++++ waited | |||
-+----- for | |||
-+----- Chris | |||
</quiz> | </quiz> |
Revision as of 20:17, 3 November 2013
Exercises for chapter 5: Simple LRS
Functional notation
Semantic types
Basic combinatorics
Back to
- the material for chapter 5
- the overview over all chapters.