Murat Kasimov
More about me
Я language (β)
/Я language (β)/Primitives/Event/
:
(
i
`TR`
ii
) ~ (
ii
`RT`
i
) ~ (
Event
i
ii
) ~ (
Transition
i
ii
)
:
Supertype
(
Event
i
ii
)
~
(
i
`AR_`
ii
`P`
i
)
:
Supertype
(
State
i
ii
) ~ (
Event
i
ii
)
>
Event
:
i
`AR_`
ii
`P`
i
`AR____`
Event
i
ii
>
`yai`
:
∀
a
o
.
Event
a
_
`AR_____`
a
`TA____`
o
`AR____`
Event
o
_
>
`yai`
:
∀
a
o
.
Event
a
_
`AR_____`
a
`RT____`
o
`AR____`
Event
o
_
>
`yio`
:
∀
a
o
.
Event
_
a
`AR_____`
a
`AR____`
o
`AR____`
Event
_
o
>
`yio`
:
∀
a
o
.
Event
_
a
`AR_____`
a
`TR____`
o
`AR____`
Event
_
o
>
`yior`
:
∀
a
o
.
Event
i
o
`AR____`
i
`AR__`
o