Decidability of fairness for context-free languages.
Alexandru Mateescu, Kai Salomaa, Sheng Yü · 1997
Trajectories are a powerful tool for defining the parallel composition of words and languages [8]. One can introduce natural fairness conditions for the shuffle operation defined by a trajectory. It is fairly easy to see that the