Pea Pattern/Sequential/Examples/111

From ProofWiki
Jump to navigation Jump to search

Example of Sequential Pea Pattern

\(\ds \) \(\) \(\ds 111\)
\(\ds \) \(\leadsto\) \(\ds 31\) three $1$s
\(\ds \) \(\leadsto\) \(\ds 1311\) one $3$, one $1$
\(\ds \) \(\leadsto\) \(\ds 3113\) three $1$s, one $3$
\(\ds \) \(\leadsto\) \(\ds 2321\) two $3$s, two $1$
\(\ds \) \(\leadsto\) \(\ds 221311\) two $2$s, one $3$, one $1$
\(\ds \) \(\leadsto\) \(\ds 223113\) two $2$, three $1$s, one $3$
\(\ds \) \(\leadsto\) \(\ds 222321\) two $2$s, two $3$s, two $1$
\(\ds \) \(\leadsto\) \(\ds 421311\) four $2$s, one $3$, one $1$
\(\ds \) \(\leadsto\) \(\ds 14121331\) one $4$, one $2$, one $3$, three $1$
\(\ds \) \(\leadsto\) \(\ds 41141223\) four $1$s, one $4$, one $2$, two $3$s
\(\ds \) \(\leadsto\) \(\ds 24312213\) two $4$s, three $1$s, two $2$s, two $3$s
\(\ds \) \(\leadsto\) \(\ds 32142321\) three $2$s, one $4$, two $3$s, two $1$s
\(\ds \) \(\leadsto\) \(\ds 23322114\) two $3$s, three $2$s, two $1$s, one $4$
\(\ds \) \(\leadsto\) \(\ds 32232114\) three $2$s, two $3$s, two $1$s, one $4$
\(\ds \) \(\leadsto\) \(\ds 23322114\) two $3$s, three $2$s, two $1$s, one $4$

and a loop has been reached.