Studies in abstract families of languages

From MaRDI portal
Publication:5590062

DOI10.1090/memo/0087zbMath0194.31402OpenAlexW1983845295MaRDI QIDQ5590062

Seymour Ginsburg, Sheila A. Greibach, John E. Hopcrofts

Publication date: 1969

Published in: Memoirs of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1090/memo/0087




Related Items (85)

Unnamed ItemChains of full AFL'sUnnamed ItemClosure property of principal cones under substitutionOn the usefulness of bifaithful rational conesFamilles de langages fermées par crochet ouvertUnnamed ItemUnnamed ItemUnnamed ItemImages of AFL under certain families of homomorphismsUnnamed ItemOn weak growing context-sensitive grammarsMulti-stack-counter languagesMULTIPLICATION TABLES AND WORD-HYPERBOLICITY IN FREE PRODUCTS OF SEMIGROUPS, MONOIDS AND GROUPSUnnamed ItemOn the undecidability and descriptional complexity of synchronized regular expressionsExtension of tabled 0L-systems and languagesSelective substitution array grammarsThe string merging problemUnnamed ItemBounded query machines: on NP( ) and NPQUERY( )On nonstochastic languages and homomorphic images of stochastic languagesUnnamed ItemOn the structure of context-sensitive grammarsUnnamed ItemExtensional Uniformity for Boolean CircuitsOn a language without starUpper bounds on recognition of a hierarchy of non-context-free languagesComplexity in left-associative grammarAbstract Families of Abstract Categorial LanguagesExtended finite automata over groupsNon-prinicipalité du cylindre des langages à compteur\(X\)-automata on \(\omega\)-wordsOn incomparable abstract family of languages (AFL)Automatic correction of syntax-errors in programming languagesTwo iteration theorems for some families of languagesTransductions de séries formellesTwo-way A-transducers and AFLThe decidability of a mapping problem for generalized sequential machines with final statesSur une conjecture de S. GreibachSome independent families of one-letter languagesReversal-bounded multipushdown machinesThe tape-complexity of context-independent developmental languagesFamilies of automata characterizing context-sensitive languagesSome properties of the class of \(L\) languages with interactionsAbstract families of relationsContext-free grammar formsBounded AFLsComparing language operationsMax-product grammars and languagesCharacterization theorems on abstract families of transducersHypergrammars: An extension of macrogrammarsDegree-languages: A new concept of acceptanceControl sets on context-free grammar formsWeighted automata with storageOne way finite visit automataProduit dans le cône rationnel engendre par DSingle-valued a-transducersA note on classes of complements and the LBA-problemOn growing context-sensitive languagesOn two-way sequential transductions of full semi-AFL'sOpérations de cylindre et applications séquentielles gauches inversesRemarks on blind and partially blind one-way multicounter machinesGénérateurs algébriques et systèmes de paires iterantesWhat makes some language theory problems undecidablePrincipal AFLOn the existence of generators for certain AFLSyntactic operators on full semiAFLsTime- and tape-bounded Turing acceptors and AFLsSubstitution in families of languagesPrincipal abstract families of weighted tree languagesAbstract families of processorsA characterization of two-way deterministic classes of languagesFinite-turn checking automataSubstitution and bounded languagesWriting stack acceptorsAbsolutely parallel grammars and two-way finite-state transducersA homomorphic characterization of principal semi AFLs without using intersection with regular setsLeft-derivation bounded languagesOn families of full trios containing counter machine languagesTheory of formal grammarsMIX is a 2-MCFL and the word problem in \(\mathbb{Z}^2\) is captured by the IO and the OI hierarchiesControl sets on grammarsOn two families of forestsAlgebraic aspects of families of fuzzy languages




This page was built for publication: Studies in abstract families of languages