UNPKG

fauton

Version:

A library to test any finite automaton with arbitrary alphabets

3 lines (2 loc) 223 B
import { TransformedFiniteAutomaton } from '../../../types'; export declare function convertToRegularNfa(automaton: Pick<TransformedFiniteAutomaton, 'transitions' | 'epsilon_transitions' | 'alphabets' | 'states'>): void;