Finite Automata, Digraph Connectivity, and Regular Expression Size

From MaRDI portal
Publication:3520302

DOI10.1007/978-3-540-70583-3_4zbMath1155.68418OpenAlexW1595778895WikidataQ56060439 ScholiaQ56060439MaRDI QIDQ3520302

Hermann Gruber, Markus Holzer

Publication date: 19 August 2008

Published in: Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-70583-3_4




Related Items (26)

Closure properties and descriptional complexity of deterministic regular expressionsThe chop of languagesAn algorithmic metatheorem for directed treewidthComputing the zig-zag number of directed graphsExpressive power and succinctness of the positive calculus of binary relationsLearning from positive and negative examples: dichotomies and parameterized algorithmsSeries parallel digraphs with loopsShuffled languages -- representation and recognitionExpressive Power and Succinctness of the Positive Calculus of RelationsOn low tree-depth decompositionsFinite Automata, Digraph Connectivity, and Regular Expression SizeAutomata for regular expressions with shuffleAcyclic automata and small expressions using multi-tilde-bar operatorsOn the algorithmic effectiveness of digraph decompositions and complexity measuresLanguage operations with regular expressions of polynomial sizeSuccinctness of regular expressions with interleaving, intersection and countingChrobak Normal Form Revisited, with ApplicationsKleene Theorems for Product SystemsMulti-tilde Operators and Their Glushkov AutomataOptimal Lower Bounds on Regular Expression Size Using Communication ComplexityRegular expression length via arithmetic formula complexityAlgorithms for learning regular expressions from positive dataTight Bounds on the Descriptional Complexity of Regular ExpressionsShort Regular Expressions from Finite Automata: Empirical ResultsSmall Extended Expressions for Acyclic AutomataOn the State Complexity of Partial Derivative Automata For Regular Expressions with Intersection



Cites Work


This page was built for publication: Finite Automata, Digraph Connectivity, and Regular Expression Size