<div dir="ltr"><div class="gmail_default" style="font-family:arial,helvetica,sans-serif;font-size:small;color:#000000">Actually, I was hoping for more of a real-life example, like deciding when to go for a bike ride -- which is what I'm now considering. Variables taking on values isn't something I normally associate with discussions of free will. </div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif;font-size:small;color:#000000"><br></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif;font-size:small;color:#000000">Although since you mentioned it, how does the system decide whether to process A or B? Isn't that what you want to explain?</div><div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><font><u style="color:rgb(33,33,33);font-family:"Helvetica Neue",Helvetica,Arial,sans-serif;font-size:16.5px;line-height:20px"><br></u></font></div><div dir="ltr"><font><u style="color:rgb(33,33,33);font-family:"Helvetica Neue",Helvetica,Arial,sans-serif;font-size:16.5px;line-height:20px"> </u></font><span style="color:rgb(33,33,33);font-family:"Helvetica Neue",Helvetica,Arial,sans-serif;font-size:16.5px;line-height:24.75px"> </span>-- Russ Abbott                                       <br>Professor, Computer Science<br>California State University, Los Angeles<br></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div><br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Jun 18, 2020 at 12:24 PM ∄ uǝlƃ <<a href="mailto:gepropella@gmail.com">gepropella@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">That was as explicit as I can get without writing code. "P1 → A v B" means "process one results in the event A or the event B." Conceivable events? I have in mind variables taking on values, like x = 1 or x = 2. Those assignments should be relatively conceivable. A composition might be concatenation. So, if we have 2 variables, x and y, and x ∈ {1,2} and y ∈ {3,4}, then a composition might be [1,3] or [2,4].<br>
<br>
Does that help?<br>
<br>
On 6/18/20 12:15 PM, Russ Abbott wrote:<br>
> I'm afraid I don't understand your notation. E.g., what does P1 → A v B mean? I would prefer an example that's more concrete, e.g., with actual conceivable events.<br>
> _<br>
> _<br>
> __-- Russ Abbott                                      <br>
> Professor, Computer Science<br>
> California State University, Los Angeles<br>
> <br>
> <br>
> On Thu, Jun 18, 2020 at 12:00 PM ∄ uǝlƃ <<a href="mailto:gepropella@gmail.com" target="_blank">gepropella@gmail.com</a> <mailto:<a href="mailto:gepropella@gmail.com" target="_blank">gepropella@gmail.com</a>>> wrote:<br>
> <br>
>     Hm. How about an example where the composer changes the composition?<br>
> <br>
>     Let's say we have 2 processes, P1 and P2 with 1 branch each:<br>
>     P1 → A v B<br>
>     P2 → C v D<br>
> <br>
>     And let's say A and C compose and B and D compose.<br>
>     P1 ^ P2 → AC v BD<br>
> <br>
>     The 0th time through the structure, the monitor records: AC.<br>
>     The controller adds another composition: AD to create the structure:<br>
>     P1 ^ P2 → AC v BD v AD<br>
<br>
-- <br>
☣ uǝlƃ<br>
<br>
- .... . -..-. . -. -.. -..-. .. ... -..-. .... . .-. .<br>
FRIAM Applied Complexity Group listserv<br>
Zoom Fridays 9:30a-12p Mtn GMT-6  <a href="http://bit.ly/virtualfriam" rel="noreferrer" target="_blank">bit.ly/virtualfriam</a><br>
un/subscribe <a href="http://redfish.com/mailman/listinfo/friam_redfish.com" rel="noreferrer" target="_blank">http://redfish.com/mailman/listinfo/friam_redfish.com</a><br>
archives: <a href="http://friam.471366.n2.nabble.com/FRIAM-COMIC" rel="noreferrer" target="_blank">http://friam.471366.n2.nabble.com/<br>
FRIAM-COMIC</a> <a href="http://friam-comic.blogspot.com/" rel="noreferrer" target="_blank">http://friam-comic.blogspot.com/</a> <br>
</blockquote></div>