minlen.bat

@echo off


setlocal

if "%1%" == "" (
	echo specify [n]
	exit /b
)

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

set f3="fstlen%n%b.fst"
if exist %f3% exit /b



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 %f2%

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