fauton
Version:
A library to test any finite automaton with arbitrary alphabets
15 lines (14 loc) • 1.21 kB
TypeScript
import { GeneratedAutomatonOptions, IAutomatonTestLogicFn, IFiniteAutomaton, InputFiniteAutomaton, TransformedFiniteAutomaton } from '../../types';
import { FiniteAutomaton } from '../FiniteAutomaton';
import * as DeterministicFiniteAutomatonUtils from './utils';
export declare class DeterministicFiniteAutomaton extends FiniteAutomaton {
#private;
constructor(testLogic: IAutomatonTestLogicFn, automaton: InputFiniteAutomaton | TransformedFiniteAutomaton, automatonId?: string);
AND(dfaModule: DeterministicFiniteAutomaton, generatedAutomatonOptions?: GeneratedAutomatonOptions): DeterministicFiniteAutomaton;
NOT(generatedAutomatonOptions?: GeneratedAutomatonOptions): DeterministicFiniteAutomaton;
OR(dfaModule: DeterministicFiniteAutomaton, generatedAutomatonOptions?: GeneratedAutomatonOptions): DeterministicFiniteAutomaton;
generateStateGroupsRecord(stateGroups: string[][]): Record<string, number>;
generateEquivalenceStates(stateGroups: string[][]): string[][];
minimize(minimizedDfaOptions?: Pick<Pick<IFiniteAutomaton, 'automaton'>['automaton'], 'label' | 'description'>): DeterministicFiniteAutomaton;
}
export { DeterministicFiniteAutomatonUtils };