Fsm library
This presentation is the property of its rightful owner.
Sponsored Links
1 / 7

FSM Library PowerPoint PPT Presentation


  • 49 Views
  • Uploaded on
  • Presentation posted in: General

FSM Library. Defining, Creating and Visualizing FSMs. Defining FSAs. Define FSA in a text file Useful commands fsmcompile fsmprint fsmdraw. automaton file. Defining FSTs. Define FST in a text file Useful commands fsmcompile fsmprint fsmdraw. transducer file. Labels. Three Types

Download Presentation

FSM Library

An Image/Link below is provided (as is) to download presentation

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -

Presentation Transcript


Fsm library

FSM Library

Defining, Creating and Visualizing FSMs


Defining fsas

Defining FSAs

  • Define FSA in a text file

  • Useful commands

    • fsmcompile

    • fsmprint

    • fsmdraw

automaton file


Defining fsts

Defining FSTs

  • Define FST in a text file

  • Useful commands

    • fsmcompile

    • fsmprint

    • fsmdraw

transducer file


Labels

Labels

  • Three Types

    • input labels

    • output labels

    • state labels


Using labels

Using Labels

  • You can use symbolic labels instead of numbers

    • Need to associate labels with numbers

labels file

automaton file


Compiling fsms

Compiling FSMs

  • Use fsmcompile

    • FSAs

      fsmcompile < defn.file > fsa.file

    • FSTs

      fsmcompile –t < defn.file > fst.file

    • FSMs with Labels

      fsmcompile [-t] –i input.labels [-o output.labels] [-s state.labels] < defn.file > fsm.file


Visualizing fsms

Visualizing FSMs

  • Text Output

    • Use fsmprint

      fsmprint {label.files} < machine.fsm

  • Graphical Output

    • Use fsmdraw

    • Output in PostScript, JPEG, GIF, etc

      fsmdraw < machine.fsm | dot –Tformat > output.x

    • Format: jpg, ps, gif, etc.


  • Login