P2 POP
P2 POP
P2 POP
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Anomalía de Sussman<br />
El mundo de bloques<br />
Anomalía de Sussman<br />
C<br />
A B<br />
Estado inicial<br />
LIBRE(B)<br />
LIBRE(C)<br />
SOBRE(C,A)<br />
SOBREMESA(A)<br />
SOBREMESA(B) SOBRE(B,C) ∧ SOBRE(A,B)<br />
MANOVACÍA<br />
El mundo de bloques<br />
Anomalía de Sussman<br />
Caso 1: SOBRE(A,B)<br />
SOBRE(A,B)<br />
�� Dejar C sobre la mesa.<br />
�� Colocar A sobre B.<br />
SOBRE(B,C)<br />
�� Dejar A en la mesa.<br />
�� Colocar B sobre C.<br />
SOBRE(A,B) [bis bis]<br />
�� Colocar A sobre B.<br />
A<br />
B<br />
C<br />
Objetivo<br />
Pila<br />
Anomalía de Sussman<br />
C<br />
A B<br />
A<br />
C<br />
C B<br />
A<br />
B<br />
A C<br />
A<br />
B<br />
C<br />
A<br />
B<br />
B<br />
C<br />
2<br />
3