Current Slide
Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.
Progression
-
10
th
iteration
-
Step1:
-
s131 = on(A, Table) on(B, Table) on(C, Table) on(D, Table) ^
clear(A) ^ clear(B) ^ clear(C) ^ clear(D) ^ handEmpty
-
Step 2:
-
Applicable actions: pickup(A), pickup(B),
pickup(C)
, pickup(D)
-
Step 3:
-
s
1311
= result(s
131
, 〈putdown(C)〉) = on(A, Table) on(B, Table) on
(C, Table) on(D, Table) ^ clear(A) ^ clear(B) ^ clear(C) ^ clear(D) ^
handEmpty ∪ holding(x) \ on(x, Table) ^ clear(x) ^ handEmpty = on
(A, Table) on(B, Table) on(D, Table) ^ clear(A) ^ clear(B) ^ clear
(D) ^ holding(C)
Speaker notes:
Content Tools
Tools
Sources (0)
Tags (0)
Comments (0)
History
Usage
Questions (0)
Playlists (0)
Quality
Sources
There are currently no sources for this slide.