Function Cos_Dfa-To-Dfa

Part of:

package lisplab
( cos_dfa-to-dfa < g52 > < g53 > )