Skip to main content
Ctrl+K

AutStr 3.1.0

  • AutStr: computing with infinite structures

Guide

  • Overview

Notebooks

  • Arithmetic and algebra over infinite structures
  • Graphs of bounded width as uniformly automatic classes
  • Groups as uniformly automatic classes
  • Composing presentations
  • Implicit evaluation: querying members whose automata are too big to build

API reference

  • autstr
    • autstr package
      • autstr.buildin package
      • autstr.utils package
  • Repository
  • Open issue

Python Module Index

a
 
a
- autstr
    autstr.algebra
    autstr.arithmetic
    autstr.buildin
    autstr.buildin.automata
    autstr.buildin.presentations
    autstr.buildin.tree_presentations
    autstr.chain_ring
    autstr.cocycle_groups
    autstr.composition
    autstr.graphs
    autstr.groups
    autstr.implicit
    autstr.mtbdd
    autstr.presentations
    autstr.sparse_automata
    autstr.sparse_tree_automata
    autstr.tree_graphs
    autstr.tree_groups
    autstr.tree_presentations
    autstr.tree_uniform
    autstr.uniform
    autstr.utils
    autstr.utils.automata_tools
    autstr.utils.logic
    autstr.utils.misc
    autstr.utils.tree_automata_tools

By Faried Abu Zaid

© Copyright 2022-2026, Faried Abu Zaid.