import { TransformedFiniteAutomaton } from '../../../types';
export declare function generateEquivalenceStates(automaton: Pick<TransformedFiniteAutomaton, 'states' | 'alphabets' | 'transitions'>, stateGroups: string[][]): string[][];