Automata and Languages

• Automata
• Introduction
  • Key Features
• Components
  • Finite Automata (aria/automata/fa.py)
  • Symbolic Automata (aria/automata/symautomata)
  • Automata Learning (aria/automata/fa_learning.py)
  • Vendored AALpy (aria/automata/aalpy)
• Applications
• References
• AALpy
  • Overview
  • Typical Usage
  • Notes
  • API Reference
• Context-Free Language Reachability
• Introduction
  • Key Features
• Components
  • CFL Solvers (aria/cfl/cfl_solver.py)
  • Dynamic Transitive Closure (aria/cfl/cfl_dtc.py, aria/cfl/dtc.py)
  • Grammar Support (aria/cfl/grammar.py)
  • Matrix-Based Algorithms (aria/cfl/matrix.py, aria/cfl/pag_matrix.py)
  • Strong Component Reduction (aria/cfl/sc_solver.py)
• Applications
• References
• CFL OBDD (Context-Free Language Ordered Binary Decision Diagrams)
  • Directory Structure
  • Key Concepts
  • Key Components
  • Usage Examples
  • Module Purpose Summary
  • Key Features
  • Size Statistics
  • Source Attribution
  • Notes