Scattered context-free linear orderings
arXiv:1102.0850
Abstract
We show that it is decidable in exponential time whether the lexicographic ordering of a context-free language is scattered, or a well-ordering.
arXiv:1102.0850
We show that it is decidable in exponential time whether the lexicographic ordering of a context-free language is scattered, or a well-ordering.