Acyclic DFA Minimization

Given an acyclic finite deterministic automaton (DFA) from a class CC of DFAs, determine its minimal automaton given by the equivalence relation on states.

Parameters

  • nn: number of states
  • dd: number of transitions
  • kk: size of alphabet

Filters

Computational Model

Randomization

Approximation

Algorithms Table

Displaying 1 of 1 algorithms

See more
Revuz's algorithm1992O(n)O(n)O(n)O(n)

Reductions Table

Insuffient Data to display table

Other relevant algorithms

Insuffient Data to display table