📱AutStr.

AutStr — это библиотека для работы с бесконечными структурами данных в Python.

🧠Основная идея:

AutStr позволяет работать с бесконечными структурами (например, всеми натуральными числами, бесконечными графами, арифметическими отношениями) так же легко, как с DataFrame в Pandas, но с математической строгостью и символической точностью.

❓Что умеет AutStr:

🔘Символьное представление бесконечных множеств и отношений.

🔘Операции с конечными автоматами для эффективной манипуляции.

🔘Логика первого порядка: ∃, ∀, ¬, ∧, ∨, и т.д.

🔘Поддержка проекций, объединений, пересечений, дополнений.

🔘Визуализация бесконечных множеств.

🔘Работа с автоматными представлениями (automatic presentations).

🔹Операции с отношениями:

| — объединение.

& — пересечение.

~ — дополнение.

.drop('x') — проекция (существование).

.exinf('x') — бесконечная проекция (существует бесконечно много x).

🔻Пример алгоритма: Решето Эратосфена по бесконечному множеству.

def infinite_sieve(steps):
    candidates = (x.gt(1))  # {2, 3, 4, ...}
    primes = []
    for _ in range(steps):
        for p in candidates:
            primes.append(p[0])
            break
        multiples = (x.eq(primes[-1] * Var("y"))).drop("y")
        candidates = candidates & ~multiples
    return primes

📌Для кого?

🔘Математики и логики (модельная теория, автоматные структуры).

🔘Исследователи бесконечных алгоритмов.

🔘Разработчики формальных методов и верификации.

🔘Любопытные программисты 😀.

#AutStr #Python #InfiniteStructures #AutomataTheory #ModelTheory #SymbolicComputation #FormalLogic #Automata #FirstOrderLogic #AlgorithmicModelTheory #MathTools #TheoreticalComputerScience #JAX #DFA #FormalVerification #CountableStructures #LazyEvaluation #SymbolicAlgorithms

📱Ссылка на репозиторий:
https://github.com/fariedabuzaid/AutStr