A Characterization Theorem for Certain Bounded Deterministic Context-Free Languages

For bounded languages, explicit structural characterizations in terms of semilinear sets for context free and for unambiguous context-free languages have been known for some time. In this paper, conditions are given for a subclass of the semilinear sets (specifically, for linear sets with linearly independent periods) which are necessary and sufficient for the corresponding independent periods) which are necessary and sufficient for the corresponding