Function Cosh_Dfa-To-Dfa

Part of:

package lisplab
( cosh_dfa-to-dfa < g195 > < g196 > )