Function Tanh_Dfa-To-Dfa

Part of:

package lisplab
( tanh_dfa-to-dfa < g223 > < g224 > )