fsm7.bat

@echo off


set n=3
set /a n2 = n - 1


call minlen %n% > nul
call minlen %n2% > nul

set f1=fstlen%n%b.fst
set f2=fstlen%n2%b.fst

set f3=fstcomp.fst
set f4=fsmcomp.fst


set fin=%f1%
set fpre=pre.fst
copy %f1% %fpre% > nul

for %%x in (1 2 3 4 5 6) do (

	echo --%%x

	fstcompose %fpre% fsmb.fst %f3%
	fstproject --project_output=true %f3% %f4%


	set f5=intersect.fst

	fstintersect %f4% %fin% %f5%

	call fstmin %f5%

	copy %f5% %fpre% > nul

)