fsm5.bat

@echo off



set n=1
set out1="out1.txt"

echo. >NUL 2> %out1%

:re

set /a n2 = n + 1
echo %n% %n2%

set f="fstlen%n%.fst"
set f2="fstlen%n2%.fst"

fstlen %n%
fstlen %n2%

fstcompile --acceptor=true fstlen%n%.txt %f%
fstcompile --acceptor=true fstlen%n2%.txt %f2%

call fstmin %f%

set f3="fstlen%n2%b.fst"

fstdifference %f2% %f% %f3%
call fstmin %f3%

set fn=fsmb.fst
set f4="map.fst"

fstcompose %f3% %fn% | fstproject --project_output=true > %f4%

set f5="mapin.fst"

fstintersect %f3% %f4% > %f5%

<nul (set/p x=%n2%	) >> %out1%
fstrmepsilon %f5% | fstshortestpath | fstinfo  | findstr /c:"# of states" >> %out1%

set n=%n2%
if %n% leq 49 goto re