State Forge Documentation

Complete guide to automata theory conversions and AI-powered assistance for formal language processing

Start Converting Now
🚀

Getting Started

Welcome to State Forge

Learn how to perform your first automata theory conversion with our AI-powered platform.

  1. 1Navigate to the Conversions page
  2. 2Select your desired conversion model from the sidebar
  3. 3Enter your input data (text or upload an image)
  4. 4Click Convert to see the results
  5. 5Use the AI assistant for explanations and help

Supported Conversion Types

State Forge supports four main automata theory conversions.

  1. 1DFA Minimization - Convert DFA to its minimized equivalent
  2. 2Regex to ε-NFA - Transform regular expressions to epsilon NFA
  3. 3ε-NFA to DFA - Convert epsilon NFA to deterministic finite automaton
  4. 4PDA - Generate push down automata for context-free languages
📝

Input Methods

Text Input

Enter automata descriptions in the specified format.

  1. 1Use the text area in the left sidebar
  2. 2Follow the format examples provided in placeholders
  3. 3For DFA: 'A: a-->A, b-->B; B: a-->A, b-->A; in:A; fi:A'
  4. 4For Regex: 'a*b+' or '(a|b)*' or 'a+b*c'
  5. 5For PDA: 'aabb' representing a^n b^n patterns

Image Input Processing

Upload diagram images for AI-powered text extraction.

  1. 1Available for DFA Minimization and ε-NFA to DFA models
  2. 2Supported formats: PNG, JPG, JPEG, SVG
  3. 3Ensure diagrams are clear and high-contrast
  4. 4AI will automatically extract state information
  5. 5Manual text entry available as fallback
⚙️

Advanced Features

AI Conversational Assistant

Get intelligent help and explanations for your conversions.

  1. 1Ask questions about automata theory concepts
  2. 2Request explanations of conversion results
  3. 3Get step-by-step breakdowns of algorithms
  4. 4Context-aware responses based on your conversions
  5. 5Educational guidance for learning automata theory

Visualization & History

View results and manage your conversion history.

  1. 1Interactive Graphviz-powered state diagrams
  2. 2Professional-quality PNG export functionality
  3. 3Conversion history stacks for each model type
  4. 4Persistent session management
  5. 5Easy access to previous conversion work

Example Conversions

See examples of input formats and expected outputs for each conversion type

DFA Minimization Example

Input:

"A: a-->A, b-->B; B: a-->A, b-->C; C: a-->A, b-->C; in:A; fi:C

Output:

States: {q0, q1}
Transitions: δ(q0,a)=q0, δ(q0,b)=q1, δ(q1,a)=q0, δ(q1,b)=q1
Initial: q0, Final: {q1}

Regex to ε-NFA Example

Input:

a*b+

Output:

States: {q0, q1, q2, q3}
ε-transitions: δ(q0,ε)={q1}, δ(q2,ε)={q3}
Transitions: δ(q1,a)={q1}, δ(q1,b)={q2}, δ(q2,b)={q2}

ε-NFA to DFA Example

Input:

q0: a-->q1, ε-->q2; q1: b-->q2; q2: ε-->q0; in:q0; fi:q2

Output:

States: {q0,q2}, {q1}, {q2}
Transitions: δ({q0,q2}, a) = {q1}
Initial: {q0,q2}, Final: {q0,q2}, {q2}

Push Down Automata Example

Input:

aabb

Output:

States: {q0, q1, q2}
Stack Alphabet: {Z, A}
δ(q0,a,Z)={(q1, AZ)}, δ(q1,a,A)={(q1, AA)}
δ(q1,b,A)={(q2, ε)}, δ(q2,b,A)={(q2, ε)}

Frequently Asked Questions

Quick answers to common questions

How do I start a conversion?

Go to the Conversions page, select a model from the sidebar, enter your input data, and click Convert.

What input formats are supported?

We support text input with specific formats for each model type, and image uploads (PNG, JPG, JPEG, SVG) for DFA and ε-NFA models.

What conversion types are available?

DFA Minimization, Regex to ε-NFA, ε-NFA to DFA, and Push Down Automata (PDA) conversions.

How does the AI assistant work?

Our AI assistant uses Google Gemini 2.0 Flash with LangGraph for context-aware conversations about automata theory and conversion explanations.

Can I save or export my results?

Yes, you can export diagrams as PNG files and view your conversion history through the dedicated history feature.

What technology powers the conversions?

State Forge uses PyTorch-based transformer neural networks with custom tokenizers for high-quality automata theory conversions.

Best Practices

Follow these guidelines for optimal automata theory conversions

✅

Do

  • • Use correct format for each model type
  • • Provide clear, high-contrast images
  • • Start with simple examples
  • • Ask the AI for explanations
  • • Check conversion history for reference
❌

Don't

  • • Mix different format styles
  • • Upload blurry or low-quality images
  • • Expect results for invalid inputs
  • • Ignore input format examples
  • • Skip validation of your automata
💡

Tips

  • • Use visualization to verify results
  • • Export diagrams for presentations
  • • Leverage AI for learning concepts
  • • Try different input representations
  • • Build complexity gradually

Technology Stack

State Forge is built on cutting-edge AI and web technologies

🔥

PyTorch

Neural network models with GPU acceleration support

🌐

Next JS

Web application framework for interactive interfaces

🚀

Python

Language used in backend to handle models, build APIs

🧠

Google Gemini

AI-powered text extraction and conversational assistance

📊

Graphviz

State diagram visualization and export functionality

Ready to Start Converting?

Now that you understand State Forge's capabilities, start your first automata theory conversion!

Start ConvertingBack to Home