STATE FORGE

TransformAutomata Theory withAI-Powered Intelligence!

Comprehensive Streamlit-based web application for automata theory and formal language conversions powered by advanced transformer networks.

Start Converting
q0
Automata
Conversions
q1
q2

Your Gateway to
Intelligent
Automata Theory
Conversions

State Forge transforms automata theory education and research through advanced AI technology. Our comprehensive platform delivers seamless conversions between different automata types, powered by state-of-the-art transformer-based neural networks and intelligent conversational AI. Designed for students, researchers, and educators in computer science.

State Forge
SF
DFA → Min DFA
Regex → ε-NFA
ε-NFA → DFA
PDA Processing

Four Main Conversion Models

Advanced transformer-based neural networks for comprehensive automata theory conversions

🔄

DFA Minimization

Converts DFA to its minimized equivalent using custom transformer models with character-level tokenization. Supports both text input and AI-powered image processing.

📝

Regex to ε-NFA

Transforms regular expressions to Epsilon Non-deterministic Finite Automata using advanced Seq2Seq transformer models with positional encoding.

ε-NFA to DFA

Converts Epsilon NFA to Deterministic Finite Automaton using transformer encoder-decoder architecture with support for image input processing.

📚

Push Down Automata (PDA)

Generates PDA transitions for context-free languages using advanced TransformerPDA models with stack simulation capabilities.

Advanced Features

Discover the powerful capabilities that make State Forge the perfect solution for automata theory and formal language processing.

🤖

AI-Powered Conversions

Advanced neural networks with Google Gemini 2.0 Flash integration for intelligent conversational assistance and text extraction.

🖼️

Image Input Processing

Upload PNG, JPG, JPEG, SVG images of automata diagrams with AI-powered text extraction and automatic state identification.

📊

Graphical Visualization

Interactive Graphviz-powered state diagrams with zoom, pan capabilities, and professional-quality PNG export functionality.

💾

Conversion History

Specialized stack data structures for each conversion type with persistent session management and easy access to previous work.

🔧

PyTorch Integration

Built on PyTorch with GPU acceleration support, custom tokenizers, and character-level processing for optimal performance.

🧠

Conversational AI

LangGraph-powered conversation management with context awareness, educational explanations, and step-by-step conversion guidance.

Research Team

Meet the dedicated professionals behind State Forge's innovative automata theory solutions.

Galappaththi S.S

Faculty of Information Technology

University of Moratuwa

Madushan A.K.I

Faculty of Information Technology

University of Moratuwa

Jayasinghe P.S

Faculty of Information Technology

University of Moratuwa

Dissanayaka D.M.C.P

Faculty of Information Technology

University of Moratuwa

Dr. I.T.S. Piyatilake

Senior Lecturer

University of Moratuwa

Dr. C.P. Wijesiriwardena

Senior Lecturer

University of Moratuwa

Contact Our Research Team

Ready to explore automata theory with AI? Get in touch with our research team for collaboration and support.

Get in Touch

📧

Email

contact@deepthinkers.edu.lk

🏛️

Institution

University of Moratuwa

🔬

Research Focus

Automata Theory & AI Education