1 / 7

FSM Library

This guide covers the essential aspects of defining, creating, and visualizing Finite State Machines (FSMs). Learn how to define Finite State Automata (FSAs) and Finite State Transducers (FSTs) in text files and utilize commands like `fsmcompile`, `fsmprint`, and `fsmdraw` for effective automation file handling. Explore different types of labels, their usage, and how to compile FSMs for various formats. Additionally, discover how to visualize FSMs through both text and graphical outputs, including formats such as JPEG, GIF, and PostScript.

arlo
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. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. FSM Library Defining, Creating and Visualizing FSMs

  2. Defining FSAs • Define FSA in a text file • Useful commands • fsmcompile • fsmprint • fsmdraw automaton file

  3. Defining FSTs • Define FST in a text file • Useful commands • fsmcompile • fsmprint • fsmdraw transducer file

  4. Labels • Three Types • input labels • output labels • state labels

  5. Using Labels • You can use symbolic labels instead of numbers • Need to associate labels with numbers labels file automaton file

  6. 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

  7. 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.

More Related