Идеята ми е да направя библиотека за създаване и ползване на абстрактни машини. Част тях смятам да бъдат:
- регулярни автомати
- стекови автомати
- машини на тюринг
Ще се поддържат операции като детерминиране и минимизиране когато и където е адекватно (например ако имаме недетерминистичен автомат).
Структури като граматики и създаване на парсъри не са изключени но малко вероятни(клонящи стремглаво към нула), но смятам да ги имплементирам в неизвестен момент в бъдещето.
Намерих няколко проекта с подобна тематика(изброените по-долу) но смятам да започна от нулата: