Welcome to automata-library’s documentation!

Contents:

• Introduction
  • Mata: The Automata Library
  • Requirements and dependencies
  • Building and installing from sources
  • Python binding
  • Getting started
  • Supported Automata Models
  • Versioning
  • Publications
  • Contributing
  • Links
  • Licensing
  • Contacts
  • Acknowledgements
• New Generation of Automata Library
  • Supported Classes of Automata
• Nondeterministic Finite automata
  • Structures
  • Operations

Indices and tables

• Index

• Module Index

• Search Page