myhill nerode Sections AutomataTheory Doc

Def Result(DA)l == if null(l) InitialState(DA) else DA((Result(DA)tl(l)),hd(l)) fi (recursive)

In prior sections: det automata