UNPKG

fauton

Version:

A library to test any finite automaton with arbitrary alphabets

3 lines (2 loc) 285 B
import { IFiniteAutomaton, TransformedFiniteAutomaton } from '../../../types'; export declare function minimize(automaton: TransformedFiniteAutomaton, minimizedDfaOptions?: Pick<Pick<IFiniteAutomaton, 'automaton'>['automaton'], 'label' | 'description'>): TransformedFiniteAutomaton;