fsm6b.bat

@echo off


set n=5

set out0="out0.txt"
set out1="out1.txt"
set out2="out2.txt"
set out3="out3.txt"

echo. >NUL 2> %out0%
echo. >NUL 2> %out1%
echo. >NUL 2> %out2%
echo. >NUL 2> %out3%


:re

echo %n%

set /a n1 = n - 1
set /a n2 = n - 2
set /a n3 = n - 3


call minlen %n% > nul
call minlen %n1% > nul
call minlen %n2% > nul
call minlen %n3% > nul

set f0=fstlen%n%b.fst
set f1=fstlen%n1%b.fst
set f2=fstlen%n2%b.fst
set f3=fstlen%n3%b.fst

set fmap1=fstcomp.fst
set fmap=fsmcomp.fst

fstcompose %f0% fsmb.fst %fmap1%
fstproject --project_output=true %fmap1% %fmap%

<nul (set/p x=%n%	) >> %out0%
<nul (set/p x=%n%	) >> %out1%
<nul (set/p x=%n%	) >> %out2%
<nul (set/p x=%n%	) >> %out3%

call slice %fmap% %f0% >> %out0%
call slice %fmap% %f1% >> %out1%
call slice %fmap% %f2% >> %out2%
call slice %fmap% %f3% >> %out3%

set /a n = n + 1
if %n% leq 50 goto re