AUTOMATE

MaRDI QIDQ12832swMATHFDO

Official website http://www.sciencedirect.com/science/article/pii/S0747717108801253

Described by source

• AUTOMATE, a computing package for automata and finite semigroups

Cited in

(23)

• Some results on the dot-depth hierarchy
• COMPAS
• Grail
• Green's equivalences in finite semigroups of binary relations
• LANGAGE
• TESTAS
• Characterization of Glushkov automata
• Re-describing an algorithm by Hopcroft
• Computing finite semigroups
• Vaucanson
• automata
• MONOiD
• Semigroups
• AG
• COMPAS -- a computing package for synchronization
• From sequential extended regular expressions to NFA with symbolic labels
• A conjecture on the concatenation product
• libsemigroups
• Semigroupe
• AMoRE
• scientific article; zbMATH DE number 50144 (Why is no real title available?)
• Subset construction complexity for homogeneous automata, position automata and ZPC-structures
• Direct and dual laws for automata with multiplicities

This page was built for software: AUTOMATE