Skip to content

Instantly share code, notes, and snippets.

@vznvzn

vznvzn/fstmin2b.bat

Created November 13, 2018 03:57
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save vznvzn/ae2b9ce3c6b4950ab203608885aecbb5 to your computer and use it in GitHub Desktop.
Save vznvzn/ae2b9ce3c6b4950ab203608885aecbb5 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
fstmin2b.bat
@echo off
if "%1" == "" (
echo specify fst
exit /b
)
echo %1
fstinfo %1 | findstr /c:"# of states"
fstrmepsilon %1 | fstdeterminize | fstminimize > %1b
erase %1
ren %1b %1
fstinfo %1 | findstr /c:"# of states"
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment