fsm14.bat

@echo off


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

set n=%1%
set m=26

echo "fsm14 n=%n% m=%m%"

call minlen %n% > nul
set fslice=fstlen%n%b.fst



lenmin %n% > lenmin.txt
set fminlen=lenmin.fst

fstcompile --acceptor=true lenmin.txt %fminlen%


set fpre=pre.fst

set flen=len.fst

uplen %m% > len%m%.txt
fstcompile --acceptor=true len%m%.txt %flen%


fstintersect %fslice% %flen% %fpre%

set fzero=empty.fst

echo. > empty.txt
fstcompile --acceptor=true empty.txt %fzero%

set x=0

set fin=%fminlen%

:re

set /a x = x + 1

echo -- %x%
date /t
time /t

set fcomp=fsmcomp.fst
fstcompose %fpre% fsmb.fst | fstproject --project_output=true > %fcomp%

call fstmin2b %fcomp%

set fand=and.fst
fstintersect %fcomp% %fin% %fand%

call fstmin2b %fand%

copy %fand% %fpre% > nul

fstequivalent %fpre% %fzero%

if %errorlevel% neq 0 goto re