fauton

Version:

A library to test any finite automaton with arbitrary alphabets

github.com/Devorein/fauton/blob/master/README.md

3 lines (2 loc) • 236 B

TypeScript

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