Closed ihh closed 6 years ago
--count-copies PARAM is similar to --concat --weight PARAM --kleene-star but also defines PARAM to 1 in the machine's defs
--count-copies PARAM
--concat --weight PARAM --kleene-star
PARAM
defs
--count-copies PARAM
is similar to--concat --weight PARAM --kleene-star
but also definesPARAM
to 1 in the machine'sdefs