Eine schnelle und einfache Finite-Automaten-Bibliothek für effiziente Verarbeitung und Analyse von Inhalten

Mata ist eine gut konzipierte Automaten-Bibliothek in C++, die eine einzigartige Kombination aus Geschwindigkeit und Einfachheit bietet. Sie ist für Anwendungen wie Zeichenketten-Constraint-Lösung und Reasoning über reguläre Ausdrücke sowie als Referenzimplementierung von Automaten-Algorithmen gedacht.