A Theory-of-Computation-guided conversational AI using a quantized LLM, semantic embeddings, RAG, memory, and tool calling. Educational replica inspired by ChatGPT's shape — not a reproduction of the ...
Automata Theory and Formal Languages Lab (ATFL) is an educational open-source collection of C implementations for core theory of computation topics: lexical analysis, DFA, NFA, Mealy machines, context ...