Pictures

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.