Function Tan_Dfa-To-Dfa

Part of:

package lisplab
( tan_dfa-to-dfa < g75 > < g76 > )