import * as CharSet from "./char-set.js";
import * as RE from "./regex.js";
import * as Table from './table.js';
export type DFA = Readonly<{
    allStates: Map<number, RE.ExtRegex>;
    startState: number;
    finalStates: Set<number>;
    transitions: Table.Table<CharSet.CharSet>;
}>;
export declare function dfaToRegex(dfa: DFA): RE.StdRegex;
export declare function toStdRegex(inputRegex: RE.ExtRegex): RE.StdRegex;
export declare function isEquivalent(regexA: RE.ExtRegex, regexB: RE.ExtRegex): boolean;