Back to: FsmReg
FsmRegForm
AbbrName ELAN
FullName ELAN - Tree Automata Library
ItemDesc This library include basic Tree Automata operations such as intersection, union, cleaning etc. as well as matching ans approximation operations...
APartOf

ContainsParts

HomePage http://www.loria.fr/equipes/protheo/SOFTWARES/ELAN/examples/elan-automata.html
Type FsmCompiler
ImplLanguage

Author Thomas.Genet (loria.fr)
Copyright

License

References T. Genet. Decidable approximations of sets of descendants and sets of normal forms. In Proceedings 9th Conference on Rewriting Techniques and Applications, Tsukuba (Japan), volume 1379 of Lecture Notes in Computer Science, pages 151-165. Springer-Verlag, 1998.
Availability

ProviderName

RelatedWork

Evaluation

LatestVersion 3.3
Topic revision: r1 - 2008-10-23 - 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