UNPKG

fauton

Version:

A library to test any finite automaton with arbitrary alphabets

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

Devorein/fauton

3 lines (2 loc) • 329 B
1
2
3
import { IAutomatonTestLogicFn, InputFiniteAutomaton, TFiniteAutomatonType, TransformedFiniteAutomaton } from '../../../types'; export declare function generatePreNormalizationErrors(testLogic: IAutomatonTestLogicFn, automatonType: TFiniteAutomatonType, automaton: InputFiniteAutomaton | TransformedFiniteAutomaton): string[];