Sort Begin Property

result of sorting els = result of sorting els with sorted stack [ ]

This property says that sorting a list is equivalent to a sorting operation where the "sorted list" is empty. This conversion allows us to initialize the "sorted list" to [ ]. The "sorted list" keeps values that have been sorted thus far in the sorting process.

Examples

result of sorting [ 7, [ ] ] = result of sorting [ 7, [ ] ] with sorted stack [ ]

result of sorting [ 4, [ 3, [ 2, [ ] ] ] ] = result of sorting [ 4, [ 3, [ 2, [ ] ] ] ] with sorted stack [ ]

result of sorting [ 2000, [ 3300, [ 1450, [ ] ] ] ] = result of sorting [ 2000, [ 3300, [ 1450, [ ] ] ] ] with sorted stack [ ]

Comments

Please log in to add comments