Paths a path of length n, n>0, in a transition system A is a sequence of transitions t, t2. t such that vi:1≤i<n,β(t)=a(t+1),anda(t1)=S Similarly, an infinite path is an infinite sequence of transitions [1,2 tn… such that vi:1≤i<n,β(t)=a(t+1),anda(t1)=SPaths ◼ A path of length n, n > 0, in a transition system 𝒜 is a sequence of transitions 𝑡1 , 𝑡2 ⋯ 𝑡𝑛,such that ∀𝑖: 1 ≤ 𝑖 < 𝑛, 𝛽 𝑡𝑖 = 𝛼(𝑡𝑖+1 ), and 𝛼 𝑡1 = 𝑆0 ◼ Similarly, an infinite path is an infinite sequence of transitions 𝑡1 , 𝑡2, ⋯ 𝑡𝑛, ⋯such that ∀𝑖: 1 ≤ 𝑖 < 𝑛, 𝛽 𝑡𝑖 = 𝛼(𝑡𝑖+1 ), and 𝛼 𝑡1 = 𝑆0