Function Exp_Dfa-To-Dfa

Part of:

package lisplab
( exp_dfa-to-dfa < g348 > < g349 > )