The state complexities of some basic operations on regular languages

From MaRDI portal
Publication:1318694

DOI10.1016/0304-3975(92)00011-FzbMath0795.68112OpenAlexW2006629323WikidataQ57380768 ScholiaQ57380768MaRDI QIDQ1318694

Kai Salomaa, Qingyu Zhuang, Sheng Yu

Publication date: 5 April 1994

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(92)00011-f




Related Items

Closure properties and descriptional complexity of deterministic regular expressionsState complexity of permutation on finite languages over a binary alphabetState Complexity of Kleene-Star Operations on TreesState complexity of projection on languages recognized by permutation automata and commuting lettersGenerating all permutations by context-free grammars in Chomsky normal formDescriptional Complexity of Input-Driven Pushdown AutomataUndecidability of State Complexities Using Mirror ImagesThe state complexity of \(L^{2}\) and \(L^k\)State Complexity of Boundary of Prefix-Free Regular LanguagesCOMPLEXITY IN UNION-FREE REGULAR LANGUAGESSTATE COMPLEXITY OF TWO COMBINED OPERATIONS: CATENATION-STAR AND CATENATION-REVERSALState complexity of combined operationsOn the State and Computational Complexity of the Reverse of Acyclic Minimal DFAsThe Degree of Irreversibility in Deterministic Finite AutomataAn approximation algorithm for state minimization in 2-MDFAsPerforming regular operations with 1-limited automataOn the state complexity of reversals of regular languagesComplexity of suffix-free regular languagesOperational complexity and pumping lemmasBoolean language operations on nondeterministic automata with a pushdown of constant heightQuotient complexity of closed languagesState complexity of star of union and square of union on \textit{k} regular languagesState complexity of combined operations for suffix-free regular languagesComplexity of Suffix-Free Regular LanguagesSuccinctness of descriptions of SBTA-languagesSTATE COMPLEXITY OF TWO COMBINED OPERATIONS: CATENATION-UNION AND CATENATION-INTERSECTIONON THE STATE COMPLEXITY OF COMBINED OPERATIONS AND THEIR ESTIMATIONState complexity of pattern matching in regular languagesKleene closure and state complexityState complexity of inversion operationsPrefix-free languages: left and right quotient and reversalOperational state complexity of unary NFAs with finite nondeterminismUnambiguous finite automata over a unary alphabetOrdering regular languages and automata: complexityState complexity of union and intersection of star on \(k\) regular languagesState complexity of the concatenation of regular tree languagesUnnamed ItemOn the gap between separating words and separating their reversalsState complexity of cyclic shiftState Complexity of InsertionOn the descriptional complexity of stateless deterministic ordered restarting automataConcatenation of regular languages and descriptional complexityState complexity of combined operations with two basic operationsA finite state intersection approach to propositional satisfiabilityState Complexity of Regular Tree Languages for Tree MatchingThe size-cost of Boolean operations on constant height deterministic pushdown automataReversal of binary regular languagesState complexity of operations on two-way finite automata over a unary alphabetThe Frobenius Problem and Its GeneralizationsThe Average State Complexity of the Star of a Finite Set of Words Is LinearOn the State Complexity of Complements, Stars, and Reversals of Regular LanguagesSTATE COMPLEXITY OF UNION AND INTERSECTION OF FINITE LANGUAGESOperations on Unambiguous Finite AutomataIncomplete operational transition complexity of regular languagesSTATE COMPLEXITY AND APPROXIMATIONOn the average state and transition complexity of finite languagesState complexity of basic language operations combined with reversalOn the state complexity of operations on two-way finite automataTwo double-exponential gaps for automata with a limited pushdownUNARY LANGUAGE OPERATIONS, STATE COMPLEXITY AND JACOBSTHAL'S FUNCTIONState complexity of deterministic Watson-Crick automata and time varying Watson-Crick automataQUOTIENT COMPLEXITY OF STAR-FREE LANGUAGESOn the descriptional complexity of finite automata with modified acceptance conditionsState complexity of some operations on binary regular languagesAcyclic networks maximizing the printing complexityTHE AVERAGE STATE COMPLEXITY OF RATIONAL OPERATIONS ON FINITE LANGUAGESSome properties of iterated languagesState-complexity hierarchies of uniform languages of alphabet-size lengthEstimation of state complexity of combined operationsState complexity of union and intersection of square and reversal on \(k\) regular languagesNondeterministic Finite Automata—Recent Results on the Descriptional and Computational ComplexityPower, positive closure, and quotients on convex languagesEnumeration and random generation of accessible automataState Complexity of Combined Operations for Prefix-Free Regular LanguagesState Complexity of Catenation Combined with Union and IntersectionOperations on Unambiguous Finite AutomataState complexity of powerState complexity of unique rational operationsConcatenation of Regular Languages and Descriptional ComplexityNONDETERMINISTIC FINITE AUTOMATA — RECENT RESULTS ON THE DESCRIPTIONAL AND COMPUTATIONAL COMPLEXITYSelf-Verifying Finite Automata and Descriptional ComplexityUnrestricted State Complexity of Binary Operations on Regular LanguagesDescriptional Complexity of Bounded Regular LanguagesThe Complexity of Languages Resulting from the Concatenation OperationThe Degree of Irreversibility in Deterministic Finite AutomataState complexity of basic operations on suffix-free regular languagesNondeterministic complexity in subclasses of convex languagesDescriptional complexity of regular languagesPrimitivity, uniform minimality, and state complexity of Boolean operationsState complexity of combined operations involving catenation and binary Boolean operations: beyond the Brzozowski conjecturesState complexity of unambiguous operations on finite automataComposition and orbits of language operations: finiteness and upper boundsUndecidability of state complexityCommutative regular languages with product-form minimal automataState complexity investigations on commutative languages -- the upward and downward closure, commutative aperiodic and commutative group languagesSimulating finite automata with context-free grammars.On the boundary of regular languagesOn Simon's congruence closure of a stringState complexity of GF(2)-operations on unary languagesState complexity of permutation and related decision problems on alphabetical pattern constraintsOperations on Permutation AutomataRewriting regular inequalitiesState Complexity of Catenation Combined with a Boolean Operation: A Unified ApproachOperational State Complexity of Subtree-Free Regular Tree LanguagesState complexity of SBTA languagesThe exact state complexity for the composition of root and reversalCompletely distinguishable automata and the set of synchronizing wordsState Complexity of Permutation and the Language Inclusion Problem up to Parikh Equivalence on Alphabetical Pattern Constraints and Partially Ordered NFAsFurther Remarks on the Operational Nonterminal ComplexityFormal methods for NFA equivalence: QBFs, witness extraction, and encoding verificationCellular Automata: Descriptional Complexity and DecidabilityOperational state complexity revisited: the contribution of monsters and modifiersOperational complexity: NFA-to-DFA trade-offBinary and circular automata having maximal state complexity for the set of synchronizing wordsOperational complexity in subregular classesUnnamed ItemUnnamed ItemDescriptional Complexity of the Forever OperatorNONDETERMINISTIC DESCRIPTIONAL COMPLEXITY OF REGULAR LANGUAGESTHE PHENOMENON OF NON-RECURSIVE TRADE-OFFSIN SEARCH OF MOST COMPLEX REGULAR LANGUAGESTHE RANGES OF STATE COMPLEXITIES FOR COMPLEMENT, STAR, AND REVERSAL OF REGULAR LANGUAGESNONDETERMINISTIC STATE COMPLEXITY OF PROPORTIONAL REMOVALSInvestigations on Automata and Languages Over a Unary AlphabetFormal languages over GF(2)Minimal cover-automata for finite languagesThe Size-Cost of Boolean Operations on Constant Height Deterministic Pushdown AutomataState Complexity of Four Combined Operations Composed of Union, Intersection, Star and ReversalNote on Reversal of Binary Regular LanguagesState Complexity of Operations on Two-Way Deterministic Finite Automata over a Unary AlphabetState complexity of deletion and bipolar deletionMost Complex Non-Returning Regular LanguagesOne-Time Nondeterministic ComputationsSquare on Deterministic, Alternating, and Boolean Finite AutomataSTATE COMPLEXITY OF CONCATENATION AND COMPLEMENTATIONSTATE COMPLEXITY AND THE MONOID OF TRANSFORMATIONS OF A FINITE SETComplexity of proper prefix-convex regular languagesComplexity of proper prefix-convex regular languagesThe complexity of concatenation on deterministic and alternating finite automataSquare on Ideal, Closed and Free LanguagesUniversal Disjunctive Concatenation and StarThe State Complexity of Permutations on Finite Languages over Binary AlphabetsStar-Complement-Star on Prefix-Free LanguagesState Complexity of Overlap AssemblyThe Ranges of Accepting State Complexities of Languages Resulting from Some OperationsState Complexity of k-Union and k-Intersection for Prefix-Free Regular Languages



Cites Work


This page was built for publication: The state complexities of some basic operations on regular languages