MAF (Monoid Automata Factory) download

A reworking in C++ of KBMAG. A package and C++ library for computing automatic structures and confluent rewriting system for group and coset rewriting systems, and for computing with finite state automata

Features

Can compute automatic structures for any word-ordering
Mostly compatible with KBMAG, including the GAP interface
Includes many utilities for computing with FSA
More extensive coset system support than KBMAG
Can compute and simplify subgroup presentations
Version 2 includes coset enumerator + many other new utilities
Version 2.1 supports translation of a word-acceptor's alphabet.

Project Samples

Output from MAF using the automata program

Project Activity

See All Activity >

License

GNU General Public License version 3.0 (GPLv3)

Follow MAF (Monoid Automata Factory)

MAF (Monoid Automata Factory) Web Site

Other Useful Business Software

Demo Series - Small Business Backup By Veeam

Learn how to protect your Microsoft 365 data, with simple, actionable tips today.

Watch this on-demand demo series and learn how to protect your Microsoft 365 data with clear, simple, actionable steps that are easy to implement for businesses of all sizes.

Watch Demo Series

Rate This Project

User Reviews

Be the first to post a review of MAF (Monoid Automata Factory)!

Additional Project Details

Intended Audience

Science/Research

User Interface

Command-line

Programming Language

C++

Related Categories

C++ Mathematics Software

Registered

2009-09-16

Similar Business Software

QBench

QBench is a cloud-based Laboratory Information Management System (LIMS) designed to help laboratories manage samples, workflows, data, inventory, reporting, quality processes, and client interactions in one platform. Labs use QBench to manage laboratory operations from order placement and...

See Software
Lockbox LIMS

A sample tracking, test result capture, and inventory management cloud LIMS for life science research, biotech/NGS, and industrial QC labs. Includes regulatory support for CLIA, HIPAA, Part 11, and ISO 17025. Nothing is more critical to a lab’s success than the quality, security, and...

See Software
Qualio

Qualio is the leading quality and compliance platform built exclusively for emerging life sciences companies. MedTech, pharma, biotech, and diagnostics teams use Qualio to standardize quality processes, connect them to regulatory obligations, and gain real-time visibility into compliance...

See Software
SAP S/4HANA Cloud Public Edition

SAP Cloud ERP is the premier ERP solution for growth-focused organizations. Seamlessly integrating AI, and predictive analytics, it empowers businesses to digitally transform and streamline processes end to end. Leveraging built-in industry best practices, SAP Cloud ERP accelerates...

See Software
RegDesk

RegDesk is a Regulatory Information Management System (RIMS) that helps medical device companies manage global regulatory submissions, product registrations, and compliance in one centralized platform. It streamlines regulatory workflows, organizes regulatory data, and provides global regulatory...

See Software
Labguru

Labguru is a secure, cloud-based Electronic Lab Notebook (ELN), LIMS and informatics platform which offers a complete solution for life science research and industry. It records and manages laboratory data and inventory, includes molecular biology tools and chemistry tools, enables automation of...

See Software

Report inappropriate content