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].
Does that help?
On 6/18/20 12:15 PM, Russ Abbott wrote:
> 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.
> _
> _
> __-- Russ Abbott
> Professor, Computer Science
> California State University, Los Angeles
>
>
> On Thu, Jun 18, 2020 at 12:00 PM ∄ uǝlƃ <[email protected]
> <mailto:[email protected]>> wrote:
>
> Hm. How about an example where the composer changes the composition?
>
> Let's say we have 2 processes, P1 and P2 with 1 branch each:
> P1 → A v B
> P2 → C v D
>
> And let's say A and C compose and B and D compose.
> P1 ^ P2 → AC v BD
>
> The 0th time through the structure, the monitor records: AC.
> The controller adds another composition: AD to create the structure:
> P1 ^ P2 → AC v BD v AD
--
☣ uǝlƃ
- .... . -..-. . -. -.. -..-. .. ... -..-. .... . .-. .
FRIAM Applied Complexity Group listserv
Zoom Fridays 9:30a-12p Mtn GMT-6 bit.ly/virtualfriam
un/subscribe http://redfish.com/mailman/listinfo/friam_redfish.com
archives: http://friam.471366.n2.nabble.com/
FRIAM-COMIC http://friam-comic.blogspot.com/
