fauton

Version:

A library to test any finite automaton with arbitrary alphabets

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

3 lines (2 loc) • 169 B

TypeScript

import { TransformedFiniteAutomaton } from '../../../types'; export declare function generatePostNormalizationErrors(automaton: TransformedFiniteAutomaton): string[];