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

Search

Ctrl+K

By Faried Abu Zaid

© Copyright 2022-2026, Faried Abu Zaid.