Matches in SemOpenAlex for { <https://semopenalex.org/work/W2058929902> ?p ?o ?g. }
Showing items 1 to 56 of
56
with 100 items per page.
- W2058929902 endingPage "596" @default.
- W2058929902 startingPage "583" @default.
- W2058929902 abstract "The Abstract Families of Languages, abbreviated full AFL's, were introduced by S. Ginsburg and S. Greibach in [I 1]. It is well known that the family of contextfree languages is a full AFL [9]. It is also a rational cone (according to Eilenberg's terminology) [5]. Let Dn* (respectively, D~*) be the Dyck language (respectively, semi-Dyck language) on 2n letters, ai , 5i , i = 1,..., n, i.e., the class of 1 in the congruence generated by (7i5 i = 5i (7 i ~ 1 (respectively, aiSi = 1) [9-14]. The ChomskySchtitzenberger theorem [9] implies that, for any n >~ 2, D~* (respectively, D~*) is a full generator [10-11] of the AFL as well as of the rational cone of the context-free languages. It seems, then, natural to look at the rational cones and the AFL's generated by the Dyck languages DI* and the semi-Dyck language DI* on two letters. We proved elsewhere [2] that the rational cone W generated by D~* can be characterized by the structure of the pushdown automata recognizing the languages in cg. The main restriction we impose on them is that they should use a single pushdown symbol. Since we can consider the pushdown store as a counter, we call such an a automaton and we call one-counter languages the elements of ~7. It is rather important to notice that this family W is not the family ~ studied by Greibach in [13]. However, and c# are closely related: o~ is the full AFL generated by Di* [13]. Consequently, from a result of [11] restated in [3], o~is the closer of under union, product, and star operation. In this paper, we prove two pumping lemmas (Theorems 3 and 4) which yield corollaries such as:" @default.
- W2058929902 created "2016-06-24" @default.
- W2058929902 creator A5071797806 @default.
- W2058929902 date "1973-12-01" @default.
- W2058929902 modified "2023-10-18" @default.
- W2058929902 title "Two iteration theorems for some families of languages" @default.
- W2058929902 cites W1964431911 @default.
- W2058929902 cites W1965306495 @default.
- W2058929902 cites W1971435636 @default.
- W2058929902 cites W1983845295 @default.
- W2058929902 cites W1988072216 @default.
- W2058929902 cites W2059501879 @default.
- W2058929902 cites W2092008211 @default.
- W2058929902 cites W2912057089 @default.
- W2058929902 doi "https://doi.org/10.1016/s0022-0000(73)80036-4" @default.
- W2058929902 hasPublicationYear "1973" @default.
- W2058929902 type Work @default.
- W2058929902 sameAs 2058929902 @default.
- W2058929902 citedByCount "34" @default.
- W2058929902 countsByYear W20589299022018 @default.
- W2058929902 countsByYear W20589299022022 @default.
- W2058929902 crossrefType "journal-article" @default.
- W2058929902 hasAuthorship W2058929902A5071797806 @default.
- W2058929902 hasConcept C118615104 @default.
- W2058929902 hasConcept C136119220 @default.
- W2058929902 hasConcept C144237770 @default.
- W2058929902 hasConcept C202444582 @default.
- W2058929902 hasConcept C33923547 @default.
- W2058929902 hasConcept C41008148 @default.
- W2058929902 hasConceptScore W2058929902C118615104 @default.
- W2058929902 hasConceptScore W2058929902C136119220 @default.
- W2058929902 hasConceptScore W2058929902C144237770 @default.
- W2058929902 hasConceptScore W2058929902C202444582 @default.
- W2058929902 hasConceptScore W2058929902C33923547 @default.
- W2058929902 hasConceptScore W2058929902C41008148 @default.
- W2058929902 hasIssue "6" @default.
- W2058929902 hasLocation W20589299021 @default.
- W2058929902 hasOpenAccess W2058929902 @default.
- W2058929902 hasPrimaryLocation W20589299021 @default.
- W2058929902 hasRelatedWork W1987949650 @default.
- W2058929902 hasRelatedWork W1989372642 @default.
- W2058929902 hasRelatedWork W2045490848 @default.
- W2058929902 hasRelatedWork W2090649758 @default.
- W2058929902 hasRelatedWork W2332694326 @default.
- W2058929902 hasRelatedWork W2913338188 @default.
- W2058929902 hasRelatedWork W2963070987 @default.
- W2058929902 hasRelatedWork W3046926816 @default.
- W2058929902 hasRelatedWork W4249089511 @default.
- W2058929902 hasRelatedWork W4287734682 @default.
- W2058929902 hasVolume "7" @default.
- W2058929902 isParatext "false" @default.
- W2058929902 isRetracted "false" @default.
- W2058929902 magId "2058929902" @default.
- W2058929902 workType "article" @default.