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)

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

This page was built for software: AUTOMATE