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`
:
Event
a
_
`AR______`
a
`TA`
o
`AR_____`
Event
o
_
>
`yai`
:
Event
a
_
`AR______`
a
`RT`
o
`AR_____`
Event
o
_
>
`yio`
:
Event
_
a
`AR______`
a
`AR`
o
`AR_____`
Event
_
o
>
`yio`
:
Event
_
a
`AR______`
a
`TR`
o
`AR_____`
Event
_
o
>
`yior`
:
Event
i
o
`AR___`
i
`AR`
o