@[turing:
/* Sorting: */
(s0, *) => (se, *, L); (s0, a) => (s0, a, R); (s0, b) => (s1, B, R);
(s1, *) => (s2, *, L); (s1, a) => (s1, a, R); (s1, b) => (s1, b, R);
(s2, B) => (se, b, L); (s2, a) => (s3, b, L); (s2, b) => (s2, b, L);
(s3, B) => (s0, a, R); (s3, a) => (s3, a, L); (s3, b) => (s3, b, L);
(se, *) => (see, *, R); (se, a) => (se, a, L);
--declarations--
s0=s0;
F=see;
blank=*;
inputs=abbbab,a,*;
runStepsScript=100;
shortTrace=false
--declarations-end--]@