Skip to content

Instantly share code, notes, and snippets.

@vznvzn

vznvzn/fsm4.bat

Created November 9, 2018 02:35
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/2e1768f96aad8035cd51383b9593cbab to your computer and use it in GitHub Desktop.
Save vznvzn/2e1768f96aad8035cd51383b9593cbab to your computer and use it in GitHub Desktop.
Download ZIP
Raw
fsm4.bat
@echo off
fstlen 10
fstlen 9
fstcompile --acceptor=true fstlen10.txt fstlen10.fst
fstcompile --acceptor=true fstlen9.txt fstlen9.fst
fstdeterminize fstlen9.fst fstlen9b.fst
rem fstarcsort --sort_type=ilabel fstlen9b.fst fstlen9c.fst
fstdifference fstlen10.fst fstlen9b.fst fstlen10b.fst
for %%x in (1 2 3) do (
echo #%%x
fstrandgen fstlen10b.fst | fstprint | sym2bin
)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment