Traffic Signals
------------------
<color> = π’ | π΄ | π‘
<signal> = πΆββ | β | π
(#π¦/north<color>, #π¦/east<color>) ?
-- East light turns green, signal north crosswalk
(π‘, π΄) => 6<s> => (π΄, π΄)
(π΄, π΄) => 2<s> => (π΄, π’)
(π΄, π’) => #crosswalk/north? => (π΄, π‘)
-- North light turns green, signal east crosswalk
(π΄, π‘) => 6<s> => (π΄, π΄)
(π΄, π΄) => 2<s> => (π’, π΄)
(π’, π΄) => #crosswalk/east? => (π‘, π΄)
#crosswalk/north ?
πΆββοΈ => 20<s> => β
β => 10<s> => π.
#crosswalk/east ?
πΆββοΈ => 20<s> => β
β => 10<s> => π.
Linearized Emojified
----------------------
(#π¦/north<color>, #π¦/east<color>) ?
(π‘, π΄) ~> 6<s> => (π΄,π΄) ~> 2<s> => (π΄, π’) ~> 30<s> => (π΄, π‘)
(π΄, π‘) ~> 6<s> => (π΄,π΄) ~> (#crosswalk/north?,#crosswalk/north?) => (π’, π΄) ~> 30<s> => (π‘, π΄)
#crosswalk/north ? πΆββοΈ => 20<s> => β => 10<s> => π.
#crosswalk/east ? πΆββοΈ => 20<s> => β => 10<s> => π.