Minimisation of acyclic deterministic automata in linear time

From MaRDI portal
Publication:1190464

DOI10.1016/0304-3975(92)90142-3zbMath0759.68066OpenAlexW2070830131WikidataQ56048077 ScholiaQ56048077MaRDI QIDQ1190464

Dominique Revuz

Publication date: 26 September 1992

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

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




Related Items

General suffix automaton construction algorithm and space boundsON-LINE CONSTRUCTION OF A SMALL AUTOMATON FOR A FINITE SET OF WORDSManipulation of regular expressions using derivatives: an overviewAn automata-theoretic approach to the word problem for \(\omega\)-terms over REfficient computation of substring equivalence classes with suffix arraysBuilding efficient and compact data structures for simplicial complexesOptimal insertion in deterministic DAWGsQuantum algorithm for lexicographically minimal string rotationAverage case analysis of Moore's state minimization algorithmPolynomial time multiplication and normal forms in free bandsSampling different kinds of acyclic automata using Markov chainsHopcroft’s Algorithm and Cyclic AutomataCycle-aware minimization of acyclic deterministic finite-state automataUsing multiset discrimination to solve language processing problems without hashingDescription and analysis of a bottom-up DFA minimization algorithmParsing with a finite dictionaryTernary directed acyclic word graphsExact enumeration of acyclic deterministic automataState complexity of finite partial languagesContinuant polynomials and worst-case behavior of Hopcroft's minimization algorithmHow to squeeze a lexiconFrom tree automata to string automata minimizationBoosting over non-deterministic ZDDsRandom Generation of Deterministic Acyclic Automata Using Markov ChainsExtending greedy feature selection algorithms to multiple solutionsCircular Sturmian words and Hopcroft's algorithmComputations by fly-automata beyond monadic second-order logicA Challenging Family of Automata for Classical Minimization AlgorithmsAn Efficient Algorithm for the Construction of the Equation Tree AutomatonSatisfiability via Smooth PicturesFast equation automaton computationAverage complexity of Moore's and Hopcroft's algorithmsMinimisation of automataINTEX: An FST toolboxThe design principles of a weighted finite-state transducer libraryRe-describing an algorithm by HopcroftState complexity of finite partial languages



Cites Work