Function Sinh_Dfa-To-Dfa

Part of:

package lisplab
( sinh_dfa-to-dfa < g167 > < g168 > )