Skip to content

Little script for automaton minimization on Python

Notifications You must be signed in to change notification settings

sleepy-syr/automatonMinimization

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

6 Commits
 
 
 
 
 
 

Repository files navigation

Automaton minimization

Little script for automaton minimization on Python. To run this script you need to download and install graphviz: http://www.graphviz.org/

This set of tools allow you to visualize your graph or, just as here, automaton interpreted as graph. As result of script you will have dot-file with structure of graph and two images of initial and minimized automata.

Structure of input data: size of alphabet amount of states number(-s) of initial state(-s) number(-s) of final states number symbol number

Last row interpret transition from number to number by symbol and could be repeated many times.

Beware! There is no possibility to work with any alphabet and set of states right now. It will be corrected soon enough. Also, right now it works on Linux but doesn't work on Windows.

About

Little script for automaton minimization on Python

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Python 100.0%