Just as in other parts of software engineering, we draw pictures of
processes:
=11
graph
=12
=<#983#>%
=0pt =0pt
to0pt<#982#><#981#>%
#tex2html_wrap3900#%
#tex2html_wrap3902#%
#tex2html_wrap3904#%
#tex2html_wrap3906#%
#tex2html_wrap3908#%
#tex2html_wrap3910#%
#tex2html_wrap3912#%
#tex2html_wrap3914#%
#tex2html_wrap3916#%
#tex2html_wrap3918#%
#tex2html_wrap3920#%
#tex2html_wrap3922#%
#tex2html_wrap3924#%
#tex2html_wrap3926#%
#tex2html_wrap3928#%
#tex2html_wrap3930#%
#tex2html_wrap3932#%
#tex2html_wrap3934#%
#tex2html_wrap3936#%
#tex2html_wrap3938#%
#tex2html_wrap3940#%
#tex2html_wrap3942#%
#tex2html_wrap3944#%
#tex2html_wrap3946#%
#tex2html_wrap3948#%
#tex2html_wrap3950#%
#tex2html_wrap3952#%
#tex2html_wrap3954#%
#tex2html_wrap3956#%
#tex2html_wrap3958#%
#tex2html_wrap3960#%
#tex2html_wrap3962#%
#tex2html_wrap3964#%
#tex2html_wrap3966#%
#tex2html_wrap3968#%
#tex2html_wrap3970#%
#tex2html_wrap3972#%
#tex2html_wrap3974#%
#tex2html_wrap3976#%
#tex2html_wrap3978#%
#tex2html_wrap3980#%
#tex2html_wrap3982#%
#tex2html_wrap3984#%
#tex2html_wrap3986#%
#tex2html_wrap3988#%
#tex2html_wrap3990#%
<#975#> to0pt<#969#>Picture Of CLEVERERGAME:<#969#><#975#>%
<#976#> to0pt<#970#>OUTCOME<#970#><#976#>%
<#977#> to0pt<#971#>OUTCOME<#971#><#977#>%
<#978#> to0pt<#972#>OUTCOME<#972#><#978#>%
<#979#> to0pt<#973#>INCOINLARGE<#973#><#979#>%
<#980#> to0pt<#974#>INCOIN<#974#><#980#>%
<#981#><#982#>%
<#983#>
Of course, this is equivalent to:
=11
graph
=12
=<#1348#>%
=0pt =0pt
to0pt<#1347#><#1346#>%
#tex2html_wrap3992#%
#tex2html_wrap3994#%
#tex2html_wrap3996#%
#tex2html_wrap3998#%
#tex2html_wrap4000#%
#tex2html_wrap4002#%
#tex2html_wrap4004#%
#tex2html_wrap4006#%
#tex2html_wrap4008#%
#tex2html_wrap4010#%
#tex2html_wrap4012#%
#tex2html_wrap4014#%
#tex2html_wrap4016#%
#tex2html_wrap4018#%
#tex2html_wrap4020#%
#tex2html_wrap4022#%
#tex2html_wrap4024#%
#tex2html_wrap4026#%
#tex2html_wrap4028#%
#tex2html_wrap4030#%
#tex2html_wrap4032#%
#tex2html_wrap4034#%
#tex2html_wrap4036#%
#tex2html_wrap4038#%
#tex2html_wrap4040#%
#tex2html_wrap4042#%
#tex2html_wrap4044#%
#tex2html_wrap4046#%
#tex2html_wrap4048#%
#tex2html_wrap4050#%
#tex2html_wrap4052#%
#tex2html_wrap4054#%
#tex2html_wrap4056#%
#tex2html_wrap4058#%
#tex2html_wrap4060#%
#tex2html_wrap4062#%
#tex2html_wrap4064#%
#tex2html_wrap4066#%
#tex2html_wrap4068#%
#tex2html_wrap4070#%
#tex2html_wrap4072#%
#tex2html_wrap4074#%
#tex2html_wrap4076#%
#tex2html_wrap4078#%
<#1335#> to0pt<#1028#>Picture Of CLEVERERGAME:<#1028#><#1335#>%
<#1336#> to0pt<#1029#>OUTCOME<#1029#><#1336#>%
<#1337#> to0pt<#1030#>OUTCOME<#1030#><#1337#>%
<#1338#> to0pt<#1031#>OUTCOME<#1031#><#1338#>%
<#1339#> to0pt<#1032#>INCOINLARGE<#1032#><#1339#>%
<#1340#> to0pt<#1033#>INCOIN<#1033#><#1340#>%
<#1346#><#1347#>%
<#1348#>
So a CSP picture is a bit like a Markov diagram, or state transition
picture.