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
• Nondeterministic Finite automata
  • Types
  • NFA
  • Delta
  • Builder
  • Algorithms
  • Strings
• Nondeterministic Finite Transducers
  • Types
  • NFT
  • Delta
  • Builder
  • Algorithms
  • Strings
• Alphabet
  • mata
  • std
• Utils
  • Closed Set
  • Sparse Set
  • OrdVector
  • Synchronized Iterator
  • Other Utils

Indices and tables

• Index

• Module Index

• Search Page