On this page:
FSM
8.17

FSM🔗

Marco T. Morazán <morazanm@shu.edu>

 #lang fsm package: fsm

A DSL for the Automata Theory Classroom

FSM is a DSL designed to help students understand Automata Theory by allowing them to construct and minipulate state machines, grammars, and regular expressions.. For instructions on how to download the DSL, view the patch notes, or just browse the code, please see either the offical FSM readme on Github or the new FSM website.

    1 Constants

    2 Data Definitions

    3 State Machine Constructors

    4 State Machine Visualization

    5 State Machine Observers

    6 Construction Visualization

    7 Derivation Visualization

    8 State Machine Testers

    9 Grammar Constructors

    10 Grammar Observers

    11 Grammar Testers

    12 Composed Turing Machines

    13 Regular Expression Constructors

    14 Regular Expression Observers

    15 FSM Unit Testing

    16 Some Useful Functions

    17 Contributors