Function Acos_Dfa-To-Dfa

Part of:

package lisplab
( acos_dfa-to-dfa < g121 > < g122 > )