examples/examples.sh

   1 #!/bin/sh
   2 # create some examples of operations on finite automaton
   3
   4 export PATH=./:$PATH
   5
   6 dest=/tmp/fadot-examples
   7 mkdir -p $dest
   8
   9 fadot -f $dest/sample.dot     -o show         "[a-z]*"
  10 fadot -f $dest/concat.dot     -o concat       "[a-b]" "[b-c]"
  11 fadot -f $dest/union.dot      -o union        "[a-b]" "[b-c]"
  12 fadot -f $dest/intersect.dot  -o intersect    "[a-b]" "[b-c]"
  13 fadot -f $dest/complement.dot -o complement   "[a-z]"
  14 fadot -f $dest/minus.dot      -o minus        "[a-z]" "[a-c]"
  15
  16
  17 for i in $(ls -1 $dest/*.dot|cut -d. -f1); do
  18     dot -Tpng -o $i.png $i.dot
  19 done
  20
  21 echo "Example compilation complete. Results are available in directory $dest"