Function Abs_Dfa-To-Dfa

Part of:

package lisplab
( abs_dfa-to-dfa < g394 > < g395 > )