Back to: FsmReg
FsmRegForm
AbbrName Testas
FullName A package TESTAS for checking some kinds of testability, finding synchronizing and words road coloring.
ItemDesc The package includes three main and some auxiliary programs. The main programs:
1) analyze an automaton of the language presented as oriented labeled graph;
2) find syntactic semigroup of the language,

3) find road coloring of directed complete graph,

4) view visual image of the transition graph (and its subgraphs) based on the structure properties of the graph.


The auxiliary programs (not included in DEMO version) find:
1) direct product of two transition graphs of the automaton;
2) direct product of two syntactic semigroups of the automaton,

APartOf

ContainsParts

HomePage http://www.cs.biu.ac.il/~trakht/Testas.html
Type Other
ImplLanguage

Author

Copyright

License

References

Availability

ProviderName

RelatedWork

Evaluation

LatestVersion

Topic revision: r1 - 2008-10-24 - AnssiYliJyra
 
This site is powered by the TWiki collaboration platform Powered by PerlCopyright © 2008-2018 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback