Function Log_Dfa-To-Dfa

Part of:

package lisplab
( log_dfa-to-dfa < g371 > < g372 > )