One counter languages and the IRS condition

摘要

Any one counter language that is not nonterminal bounded must contain an infinite regular set; every generator of the family of one counter languages must contain an infinite regular set. Any language that is in the substitution closure of the linear and one counter languages but is not derivation bounded must contain an infinite regular set.