diff --git a/src/app/simulator/page.tsx b/src/app/simulator/page.tsx index 627d76d..625d1ba 100644 --- a/src/app/simulator/page.tsx +++ b/src/app/simulator/page.tsx @@ -141,43 +141,6 @@ export default function SimulatorPage() { )} - {/* Validation Warnings */} - {validationWarnings.length > 0 && ( -
-
-
- -
-

Warnings:

-
    - {validationWarnings.map((warning, index) => ( -
  • • {warning}
    • - ))} -
-
-
-
-
- )} - - {/* Validation Errors */} - {validationErrors.length > 0 && ( -
-
-
- -
-

Errors:

-
    - {validationErrors.map((error, index) => ( -
  • • {error}
    • - ))} -
-
-
-
-
- )} {/* Header */}
@@ -266,6 +229,8 @@ export default function SimulatorPage() { onAutomataChange={handleAutomataChange} onSimulate={handleSimulate} isSimulating={isSimulating} + validationWarnings={validationWarnings} + validationErrors={validationErrors} />
)} diff --git a/src/components/automata/AutomataEditor.tsx b/src/components/automata/AutomataEditor.tsx index c368218..89d3645 100644 --- a/src/components/automata/AutomataEditor.tsx +++ b/src/components/automata/AutomataEditor.tsx @@ -4,7 +4,7 @@ import React, { useState, useRef, useCallback, useEffect } from 'react' import { State, Transition, Automata } from '@/types/automata' import { generateId } from '@/lib/utils' import { Button } from '@/components/ui/button' -import { Plus, Play, Square, Command, Trash2, Edit, Flag } from 'lucide-react' +import { Plus, Play, Square, Command, Trash2, Edit, Flag, AlertCircle, X, Wand2, CheckCircle, FileText, TestTube, Brain } from 'lucide-react' import { ContextMenu } from '@/components/ui/context-menu' import { TransitionEditor } from './TransitionEditor' import { StateEditor } from './StateEditor' @@ -33,6 +33,14 @@ export function AutomataEditor({ const [editingTransition, setEditingTransition] = useState(null) const [editingState, setEditingState] = useState(null) const [mode, setMode] = useState<'select' | 'addState' | 'addTransition'>('select') + + // Formal Language System State + const [problemDescription, setProblemDescription] = useState('') + const [showProblemInput, setShowProblemInput] = useState(false) + const [isGenerating, setIsGenerating] = useState(false) + const [testStrings, setTestStrings] = useState(['']) + const [testResults, setTestResults] = useState<{string: string, accepted: boolean, path: string[]}[]>([]) + const [validationResult, setValidationResult] = useState<{isValid: boolean, message: string, score: string} | null>(null) const addState = useCallback((x: number, y: number) => { const newState: State = { @@ -72,6 +80,1635 @@ export function AutomataEditor({ }) }, [automata, onAutomataChange]) + // Formal Language Problem Parser and DFA Generator + const parseProblemDescription = useCallback((description: string) => { + const lowerDesc = description.toLowerCase().trim() + + // Clean up common variations + const cleanDesc = lowerDesc + .replace(/construct\s+a?\s*dfa\s+(that\s+)?(accepts?\s+)?/g, '') + .replace(/build\s+a?\s*dfa\s+(that\s+)?(accepts?\s+)?/g, '') + .replace(/create\s+a?\s*dfa\s+(that\s+)?(accepts?\s+)?/g, '') + .replace(/design\s+a?\s*dfa\s+(that\s+)?(accepts?\s+)?/g, '') + .replace(/all\s+strings?\s+/g, 'strings ') + .replace(/sets?\s+of\s+/g, '') + .replace(/language\s+of\s+/g, '') + .replace(/\bl\d+\s*=\s*/g, '') // Remove L2 = etc. + .trim() + + // Pattern 1: Length-based patterns + const lengthPatterns = [ + /(?:strings?\s+)?(?:over\s+\{[^}]+\}\s+)?(?:of\s+)?length\s+(\d+)/, + /(\d+)\s+character(?:s)?\s+long/, + /(?:exactly\s+)?(\d+)\s+(?:symbols?|characters?)/, + /strings?\s+with\s+(\d+)\s+(?:symbols?|characters?)/ + ] + + for (const pattern of lengthPatterns) { + const match = cleanDesc.match(pattern) + if (match) { + const length = parseInt(match[1]) + return { type: 'length', value: length, alphabet: extractAlphabet(description) } + } + } + + // Pattern 2: Ending patterns + const endingPatterns = [ + /(?:strings?\s+)?(?:that\s+)?(?:ends?\s+with|ending\s+with|ending\s+in)\s+(?:the\s+pattern\s+)?['"]*([01]+)['"]*(?:\s|$)/, + /(?:strings?\s+)?(?:that\s+)?(?:terminates?\s+with|suffixed?\s+(?:by|with))\s+['"]*([01]+)['"]*(?:\s|$)/, + /['"]*([01]+)['"]*\s+(?:at\s+the\s+)?(?:end|suffix)/ + ] + + for (const pattern of endingPatterns) { + const match = cleanDesc.match(pattern) + if (match) { + return { type: 'ending', value: match[1], alphabet: extractAlphabet(description) } + } + } + + // Pattern 3: Starting patterns + const startingPatterns = [ + /(?:strings?\s+)?(?:that\s+)?(?:starts?\s+with|starting\s+with|beginning\s+with)\s+(?:the\s+pattern\s+)?['"]*([01]+)['"]*(?:\s|$)/, + /(?:strings?\s+)?(?:that\s+)?(?:begins?\s+with|prefixed?\s+(?:by|with))\s+['"]*([01]+)['"]*(?:\s|$)/, + /['"]*([01]+)['"]*\s+(?:at\s+the\s+)?(?:start|beginning|prefix)/ + ] + + for (const pattern of startingPatterns) { + const match = cleanDesc.match(pattern) + if (match) { + return { type: 'starting', value: match[1], alphabet: extractAlphabet(description) } + } + } + + // Pattern 4: Containing patterns + const containingPatterns = [ + /(?:strings?\s+)?(?:that\s+)?(?:contains?|containing|having|with)\s+(?:the\s+)?(?:substring\s+|pattern\s+)?['"]*([01]+)['"]*(?:\s|$)/, + /(?:strings?\s+)?(?:that\s+)?(?:includes?|including)\s+(?:the\s+)?(?:substring\s+|pattern\s+)?['"]*([01]+)['"]*(?:\s|$)/, + /['"]*([01]+)['"]*\s+(?:as\s+a\s+)?(?:substring|subsequence)/ + ] + + for (const pattern of containingPatterns) { + const match = cleanDesc.match(pattern) + if (match) { + return { type: 'containing', value: match[1], alphabet: extractAlphabet(description) } + } + } + + // Pattern 5: Counting patterns (even/odd) + const countingPatterns = [ + /(even|odd)\s+number\s+of\s+([01])s?/, + /(?:strings?\s+with\s+)?(even|odd)\s+([01])s?/, + /(?:strings?\s+having\s+)?(even|odd)\s+count\s+of\s+([01])s?/, + /(even|odd)\s+occurrences?\s+of\s+([01])/ + ] + + for (const pattern of countingPatterns) { + const match = cleanDesc.match(pattern) + if (match) { + return { type: 'count', parity: match[1], symbol: match[2], alphabet: extractAlphabet(description) } + } + } + + // Pattern 6: Empty string / epsilon + if (cleanDesc.includes('empty string') || cleanDesc.includes('epsilon') || cleanDesc.includes('ε')) { + return { type: 'empty', alphabet: extractAlphabet(description) } + } + + // Pattern 7: All strings (universal language) + if (cleanDesc.includes('all strings') || cleanDesc.includes('any string') || cleanDesc.includes('every string')) { + return { type: 'universal', alphabet: extractAlphabet(description) } + } + + // Pattern 8: Multiple of length patterns + const multiplePatterns = [ + /length\s+(?:is\s+)?(?:a\s+)?multiple\s+of\s+(\d+)/, + /length\s+(?:is\s+)?divisible\s+by\s+(\d+)/, + /length\s+(?:that\s+is\s+)?(\d+)k(?:\s+for\s+some\s+integer\s+k)?/ + ] + + for (const pattern of multiplePatterns) { + const match = cleanDesc.match(pattern) + if (match) { + const divisor = parseInt(match[1]) + return { type: 'length_multiple', value: divisor, alphabet: extractAlphabet(description) } + } + } + + // Pattern 9: Length range patterns + const rangePatterns = [ + /length\s+(?:between|from)\s+(\d+)\s+(?:to|and)\s+(\d+)/, + /length\s+(?:at\s+least|>=|≥)\s+(\d+)/, + /length\s+(?:at\s+most|<=|≤)\s+(\d+)/, + /length\s+(?:less\s+than|<)\s+(\d+)/, + /length\s+(?:greater\s+than|>)\s+(\d+)/ + ] + + for (const pattern of rangePatterns) { + const match = cleanDesc.match(pattern) + if (match) { + if (match[2]) { // Range pattern + return { type: 'length_range', min: parseInt(match[1]), max: parseInt(match[2]), alphabet: extractAlphabet(description) } + } else if (cleanDesc.includes('at least') || cleanDesc.includes('>=') || cleanDesc.includes('≥') || cleanDesc.includes('greater than')) { + return { type: 'length_min', value: parseInt(match[1]), alphabet: extractAlphabet(description) } + } else { + return { type: 'length_max', value: parseInt(match[1]), alphabet: extractAlphabet(description) } + } + } + } + + // Pattern 10: Balanced strings (equal number of symbols) + const balancedPatterns = [ + /equal\s+number\s+of\s+([01])\s*(?:and|,)\s*([01])/, + /same\s+(?:count|number)\s+of\s+([01])\s*(?:and|,)\s*([01])/, + /balanced\s+(?:with\s+respect\s+to\s+)?([01])\s*(?:and|,)\s*([01])/, + /(?:number|count)\s+of\s+([01])s?\s*(?:equals|=)\s*(?:number|count)\s+of\s+([01])s?/ + ] + + for (const pattern of balancedPatterns) { + const match = cleanDesc.match(pattern) + if (match) { + return { type: 'balanced', symbol1: match[1], symbol2: match[2], alphabet: extractAlphabet(description) } + } + } + + // Pattern 11: Difference/Comparison patterns + const differencePatterns = [ + /(?:number|count)\s+of\s+([01])s?\s*(?:minus|-)?\s*(?:number|count)\s+of\s+([01])s?\s*(?:is|equals?|=)\s*(\d+)/, + /(?:number|count)\s+of\s+([01])s?\s*(?:exceeds|is\s+greater\s+than)\s*(?:number|count)\s+of\s+([01])s?\s*by\s*(\d+)/, + /more\s+([01])s?\s+than\s+([01])s?\s*(?:by\s*(\d+))?/ + ] + + for (const pattern of differencePatterns) { + const match = cleanDesc.match(pattern) + if (match) { + const diff = match[3] ? parseInt(match[3]) : 1 + return { type: 'difference', symbol1: match[1], symbol2: match[2], difference: diff, alphabet: extractAlphabet(description) } + } + } + + // Pattern 12: Modular arithmetic patterns + const modularPatterns = [ + /(?:number|count)\s+of\s+([01])s?\s*(?:mod|modulo|%)\s*(\d+)\s*(?:is|equals?|=)\s*(\d+)/, + /(?:number|count)\s+of\s+([01])s?\s*(?:when\s+divided\s+by\s+(\d+)\s+)?(?:gives?\s+)?remainder\s+(\d+)/ + ] + + for (const pattern of modularPatterns) { + const match = cleanDesc.match(pattern) + if (match) { + const modulus = match[2] ? parseInt(match[2]) : parseInt(match[1]) + const remainder = match[3] ? parseInt(match[3]) : parseInt(match[2]) + return { type: 'modular', symbol: match[1], modulus, remainder, alphabet: extractAlphabet(description) } + } + } + + // Pattern 13: Subsequence patterns (not substring) + const subsequencePatterns = [ + /(?:contains?|having|with)\s+(?:the\s+)?subsequence\s+([01]+)/, + /([01]+)\s+(?:as\s+a\s+)?subsequence/, + /(?:contains?|having)\s+([01]+)\s+(?:in\s+)?(?:order|sequence)/ + ] + + for (const pattern of subsequencePatterns) { + const match = cleanDesc.match(pattern) + if (match) { + return { type: 'subsequence', value: match[1], alphabet: extractAlphabet(description) } + } + } + + // Pattern 14: No occurrence patterns + const noOccurrencePatterns = [ + /(?:does\s+not\s+contain|without|no)\s+(?:the\s+)?(?:substring\s+|pattern\s+)?([01]+)/, + /(?:avoids?|avoiding)\s+(?:the\s+)?(?:substring\s+|pattern\s+)?([01]+)/, + /(?:never\s+contains?)\s+(?:the\s+)?(?:substring\s+|pattern\s+)?([01]+)/ + ] + + for (const pattern of noOccurrencePatterns) { + const match = cleanDesc.match(pattern) + if (match) { + return { type: 'not_containing', value: match[1], alphabet: extractAlphabet(description) } + } + } + + // Pattern 15: Regular expression patterns + if (cleanDesc.includes('regular expression') || cleanDesc.includes('regex') || cleanDesc.includes('regexp')) { + const regexMatch = cleanDesc.match(/(?:regular\s+expression|regex|regexp)\s*[:=]?\s*([^\s,;.]+)/) + if (regexMatch) { + return { type: 'regex', value: regexMatch[1], alphabet: extractAlphabet(description) } + } + } + + // Pattern 16: Specific string sets + const specificSetPatterns = [ + /(?:exactly\s+)?(?:the\s+)?(?:strings?\s+)?(?:set\s+)?\{([^}]+)\}/, + /(?:only\s+)?(?:accepts?\s+)?(?:the\s+)?(?:strings?\s+)?["']([^"']+)["'](?:\s*,\s*["']([^"']+)["'])*/ + ] + + for (const pattern of specificSetPatterns) { + const match = cleanDesc.match(pattern) + if (match) { + let strings = [] + if (match[1].includes(',')) { + strings = match[1].split(',').map(s => s.trim().replace(/['"]/g, '')) + } else { + strings = [match[1].trim().replace(/['"]/g, '')] + } + return { type: 'specific_set', value: strings, alphabet: extractAlphabet(description) } + } + } + + // Pattern 17: AI-powered fallback using keyword analysis + return analyzeWithAI(cleanDesc, description) + }, []) + + const extractAlphabet = (description: string): string[] => { + const alphabetMatch = description.match(/\{([^}]+)\}/) + if (alphabetMatch) { + return alphabetMatch[1].split(',').map(s => s.trim()) + } + return ['0', '1'] // default binary alphabet + } + + const analyzeWithAI = (cleanDesc: string, originalDesc: string) => { + // AI-powered analysis using keyword extraction and pattern matching + const keywords = cleanDesc.split(/\s+/) + const context = { + hasNumbers: /\d+/.test(cleanDesc), + hasBinaryPattern: /[01]+/.test(cleanDesc), + hasLength: keywords.some(w => ['length', 'long', 'size'].includes(w)), + hasCount: keywords.some(w => ['number', 'count', 'many', 'few'].includes(w)), + hasPosition: keywords.some(w => ['start', 'end', 'begin', 'middle', 'position'].includes(w)), + hasComparison: keywords.some(w => ['more', 'less', 'equal', 'same', 'different'].includes(w)), + hasLogical: keywords.some(w => ['and', 'or', 'not', 'but', 'except'].includes(w)) + } + + // Smart inference based on context + if (context.hasLength && context.hasNumbers) { + const numberMatch = cleanDesc.match(/(\d+)/) + if (numberMatch) { + return { type: 'length', value: parseInt(numberMatch[1]), alphabet: extractAlphabet(originalDesc) } + } + } + + if (context.hasBinaryPattern) { + const binaryMatch = cleanDesc.match(/([01]+)/) + if (binaryMatch) { + const pattern = binaryMatch[1] + if (context.hasPosition) { + if (keywords.some(w => ['start', 'begin', 'prefix'].includes(w))) { + return { type: 'starting', value: pattern, alphabet: extractAlphabet(originalDesc) } + } + if (keywords.some(w => ['end', 'suffix', 'finish'].includes(w))) { + return { type: 'ending', value: pattern, alphabet: extractAlphabet(originalDesc) } + } + } + return { type: 'containing', value: pattern, alphabet: extractAlphabet(originalDesc) } + } + } + + if (context.hasCount && context.hasComparison) { + if (keywords.some(w => ['even', 'odd'].includes(w))) { + const parity = keywords.find(w => ['even', 'odd'].includes(w)) + const symbol = cleanDesc.match(/([01])/)?.[1] || '0' + return { type: 'count', parity, symbol, alphabet: extractAlphabet(originalDesc) } + } + } + + // If all else fails, suggest the user reformulate + return null + } + + const generateDFAFromParsedProblem = useCallback((parsedProblem: any): Automata => { + switch (parsedProblem.type) { + case 'length': + return generateLengthDFA(parsedProblem.value, parsedProblem.alphabet) + case 'ending': + return generateEndingWithDFA(parsedProblem.value, parsedProblem.alphabet) + case 'starting': + return generateStartingWithDFA(parsedProblem.value, parsedProblem.alphabet) + case 'containing': + return generateContainingDFA(parsedProblem.value, parsedProblem.alphabet) + case 'count': + return generateCountDFA(parsedProblem.parity, parsedProblem.symbol, parsedProblem.alphabet) + case 'empty': + return generateEmptyStringDFA(parsedProblem.alphabet) + case 'universal': + return generateUniversalDFA(parsedProblem.alphabet) + case 'length_multiple': + return generateLengthMultipleDFA(parsedProblem.value, parsedProblem.alphabet) + case 'length_range': + return generateLengthRangeDFA(parsedProblem.min, parsedProblem.max, parsedProblem.alphabet) + case 'length_min': + return generateLengthMinDFA(parsedProblem.value, parsedProblem.alphabet) + case 'length_max': + return generateLengthMaxDFA(parsedProblem.value, parsedProblem.alphabet) + case 'balanced': + return generateBalancedDFA(parsedProblem.symbol1, parsedProblem.symbol2, parsedProblem.alphabet) + case 'difference': + return generateDifferenceDFA(parsedProblem.symbol1, parsedProblem.symbol2, parsedProblem.difference, parsedProblem.alphabet) + case 'modular': + return generateModularDFA(parsedProblem.symbol, parsedProblem.modulus, parsedProblem.remainder, parsedProblem.alphabet) + case 'subsequence': + return generateSubsequenceDFA(parsedProblem.value, parsedProblem.alphabet) + case 'not_containing': + return generateNotContainingDFA(parsedProblem.value, parsedProblem.alphabet) + case 'regex': + return generateRegexDFA(parsedProblem.value, parsedProblem.alphabet) + case 'specific_set': + return generateSpecificSetDFA(parsedProblem.value, parsedProblem.alphabet) + default: + throw new Error(`Unsupported problem type: ${parsedProblem.type}`) + } + }, []) + + const generateLengthDFA = (length: number, alphabet: string[]): Automata => { + const states = [] + const transitions = [] + + // Create states q0, q1, ..., q_length, q_reject + for (let i = 0; i <= length + 1; i++) { + states.push({ + id: `q${i}`, + name: `q${i}`, + x: 100 + i * 120, + y: 200, + isInitial: i === 0, + isFinal: i === length + }) + } + + // Create transitions + for (let i = 0; i < length; i++) { + alphabet.forEach(symbol => { + transitions.push({ + id: generateId(), + from: `q${i}`, + to: `q${i + 1}`, + symbol, + label: symbol + }) + }) + } + + // Transitions from final state and beyond to reject state + for (let i = length; i <= length; i++) { + alphabet.forEach(symbol => { + transitions.push({ + id: generateId(), + from: `q${i}`, + to: `q${length + 1}`, + symbol, + label: symbol + }) + }) + } + + // Self-loop on reject state + alphabet.forEach(symbol => { + transitions.push({ + id: generateId(), + from: `q${length + 1}`, + to: `q${length + 1}`, + symbol, + label: symbol + }) + }) + + return { + id: generateId(), + name: `Strings of length ${length}`, + type: 'DFA', + states, + transitions, + alphabet, + createdAt: new Date(), + updatedAt: new Date() + } + } + + const generateEndingWithDFA = (pattern: string, alphabet: string[]): Automata => { + const states = [] + const transitions = [] + const patternLength = pattern.length + + // Create states for pattern matching + for (let i = 0; i <= patternLength; i++) { + states.push({ + id: `q${i}`, + name: `q${i}`, + x: 100 + i * 120, + y: 200, + isInitial: i === 0, + isFinal: i === patternLength + }) + } + + // Create transitions for pattern matching + for (let i = 0; i < patternLength; i++) { + const expectedSymbol = pattern[i] + + // Correct symbol - advance + transitions.push({ + id: generateId(), + from: `q${i}`, + to: `q${i + 1}`, + symbol: expectedSymbol, + label: expectedSymbol + }) + + // Wrong symbols - compute failure function + alphabet.forEach(symbol => { + if (symbol !== expectedSymbol) { + const targetState = computeFailureTransition(pattern, i, symbol) + transitions.push({ + id: generateId(), + from: `q${i}`, + to: `q${targetState}`, + symbol, + label: symbol + }) + } + }) + } + + // From final state + alphabet.forEach(symbol => { + if (symbol === pattern[0]) { + transitions.push({ + id: generateId(), + from: `q${patternLength}`, + to: 'q1', + symbol, + label: symbol + }) + } else { + transitions.push({ + id: generateId(), + from: `q${patternLength}`, + to: 'q0', + symbol, + label: symbol + }) + } + }) + + return { + id: generateId(), + name: `Strings ending with ${pattern}`, + type: 'DFA', + states, + transitions, + alphabet, + createdAt: new Date(), + updatedAt: new Date() + } + } + + const computeFailureTransition = (pattern: string, currentPos: number, symbol: string): number => { + const currentPrefix = pattern.substring(0, currentPos) + symbol + + // Find longest proper prefix that is also suffix + for (let len = Math.min(currentPos, pattern.length - 1); len >= 0; len--) { + if (currentPrefix.endsWith(pattern.substring(0, len + 1))) { + return len + 1 + } + } + return 0 + } + + const generateStartingWithDFA = (pattern: string, alphabet: string[]): Automata => { + const states = [] + const transitions = [] + + // Create states + states.push({ + id: 'q0', + name: 'q0', + x: 100, + y: 200, + isInitial: true, + isFinal: false + }) + + for (let i = 1; i <= pattern.length; i++) { + states.push({ + id: `q${i}`, + name: `q${i}`, + x: 100 + i * 120, + y: 200, + isInitial: false, + isFinal: i === pattern.length + }) + } + + // Reject state + states.push({ + id: 'qr', + name: 'qr', + x: 100 + (pattern.length + 1) * 120, + y: 200, + isInitial: false, + isFinal: false + }) + + // Create transitions + for (let i = 0; i < pattern.length; i++) { + const expectedSymbol = pattern[i] + + // Correct transition + transitions.push({ + id: generateId(), + from: `q${i}`, + to: `q${i + 1}`, + symbol: expectedSymbol, + label: expectedSymbol + }) + + // Wrong transitions go to reject + alphabet.forEach(symbol => { + if (symbol !== expectedSymbol) { + transitions.push({ + id: generateId(), + from: `q${i}`, + to: 'qr', + symbol, + label: symbol + }) + } + }) + } + + // From accept state, all transitions stay in accept + alphabet.forEach(symbol => { + transitions.push({ + id: generateId(), + from: `q${pattern.length}`, + to: `q${pattern.length}`, + symbol, + label: symbol + }) + }) + + // Reject state self-loops + alphabet.forEach(symbol => { + transitions.push({ + id: generateId(), + from: 'qr', + to: 'qr', + symbol, + label: symbol + }) + }) + + return { + id: generateId(), + name: `Strings starting with ${pattern}`, + type: 'DFA', + states, + transitions, + alphabet, + createdAt: new Date(), + updatedAt: new Date() + } + } + + const generateContainingDFA = (pattern: string, alphabet: string[]): Automata => { + const states = [] + const transitions = [] + + // States for pattern matching + accept state + for (let i = 0; i <= pattern.length; i++) { + states.push({ + id: `q${i}`, + name: `q${i}`, + x: 100 + i * 120, + y: 200, + isInitial: i === 0, + isFinal: i === pattern.length + }) + } + + // Transitions using KMP-like approach + for (let i = 0; i < pattern.length; i++) { + alphabet.forEach(symbol => { + if (symbol === pattern[i]) { + transitions.push({ + id: generateId(), + from: `q${i}`, + to: `q${i + 1}`, + symbol, + label: symbol + }) + } else { + const targetState = computeKMPTransition(pattern, i, symbol) + transitions.push({ + id: generateId(), + from: `q${i}`, + to: `q${targetState}`, + symbol, + label: symbol + }) + } + }) + } + + // From accept state, stay in accept + alphabet.forEach(symbol => { + transitions.push({ + id: generateId(), + from: `q${pattern.length}`, + to: `q${pattern.length}`, + symbol, + label: symbol + }) + }) + + return { + id: generateId(), + name: `Strings containing ${pattern}`, + type: 'DFA', + states, + transitions, + alphabet, + createdAt: new Date(), + updatedAt: new Date() + } + } + + const computeKMPTransition = (pattern: string, pos: number, symbol: string): number => { + const currentString = pattern.substring(0, pos) + symbol + + // Find longest prefix of pattern that is suffix of currentString + for (let len = Math.min(pos, pattern.length - 1); len >= 0; len--) { + if (currentString.endsWith(pattern.substring(0, len + 1))) { + return len + 1 + } + } + return 0 + } + + const generateCountDFA = (parity: string, symbol: string, alphabet: string[]): Automata => { + const states = [ + { + id: 'q0', + name: 'q0', + x: 150, + y: 200, + isInitial: true, + isFinal: parity === 'even' + }, + { + id: 'q1', + name: 'q1', + x: 350, + y: 200, + isInitial: false, + isFinal: parity === 'odd' + } + ] + + const transitions = [] + + alphabet.forEach(char => { + if (char === symbol) { + // Toggle between states for target symbol + transitions.push({ + id: generateId(), + from: 'q0', + to: 'q1', + symbol: char, + label: char + }) + transitions.push({ + id: generateId(), + from: 'q1', + to: 'q0', + symbol: char, + label: char + }) + } else { + // Stay in same state for other symbols + transitions.push({ + id: generateId(), + from: 'q0', + to: 'q0', + symbol: char, + label: char + }) + transitions.push({ + id: generateId(), + from: 'q1', + to: 'q1', + symbol: char, + label: char + }) + } + }) + + return { + id: generateId(), + name: `${parity} number of ${symbol}s`, + type: 'DFA', + states, + transitions, + alphabet, + createdAt: new Date(), + updatedAt: new Date() + } + } + + const generateDFAFromDescription = useCallback(async (description: string) => { + setIsGenerating(true) + setValidationResult(null) + + try { + const parsedProblem = parseProblemDescription(description) + if (!parsedProblem) { + // Provide helpful suggestions based on the input + const suggestions = [] + if (description.toLowerCase().includes('length')) { + suggestions.push('"strings of length 2"') + } + if (description.toLowerCase().includes('end')) { + suggestions.push('"strings ending with 01"') + } + if (description.toLowerCase().includes('start') || description.toLowerCase().includes('begin')) { + suggestions.push('"strings starting with 10"') + } + if (description.toLowerCase().includes('contain')) { + suggestions.push('"strings containing 11"') + } + if (description.toLowerCase().includes('even') || description.toLowerCase().includes('odd')) { + suggestions.push('"even number of 0s"') + } + + const suggestionText = suggestions.length > 0 + ? ` Try examples like: ${suggestions.join(', ')}` + : ' Try: "strings of length 2", "strings ending with 01", "strings containing 11", "even number of 0s"' + + throw new Error('Could not parse the problem description.' + suggestionText) + } + + const generatedDFA = generateDFAFromParsedProblem(parsedProblem) + onAutomataChange(generatedDFA) + + // Auto-generate some test cases + const testCases = generateTestCases(description) + setTestStrings(testCases.slice(0, 5)) + + } catch (error) { + console.error('Error generating DFA:', error) + setValidationResult({ + isValid: false, + message: error instanceof Error ? error.message : 'Failed to generate DFA', + score: '0/0' + }) + } finally { + setIsGenerating(false) + } + }, [parseProblemDescription, generateDFAFromParsedProblem, onAutomataChange]) + + const generateTestCases = (description: string): string[] => { + const lowerDesc = description.toLowerCase() + const testCases = [] + + if (lowerDesc.includes('length 2')) { + testCases.push('00', '01', '10', '11', '', '0', '1', '000', '001') + } else if (lowerDesc.includes('ending with')) { + const match = lowerDesc.match(/ending with ([01]+)/) + if (match) { + const pattern = match[1] + testCases.push(pattern, '0' + pattern, '1' + pattern, pattern + '0', '', '0', '1') + } + } else if (lowerDesc.includes('starting with')) { + const match = lowerDesc.match(/starting with ([01]+)/) + if (match) { + const pattern = match[1] + testCases.push(pattern, pattern + '0', pattern + '1', '0' + pattern, '', '0', '1') + } + } else if (lowerDesc.includes('containing')) { + const match = lowerDesc.match(/containing ([01]+)/) + if (match) { + const pattern = match[1] + testCases.push(pattern, '0' + pattern, pattern + '1', '0' + pattern + '0', '', '0', '1') + } + } else if (lowerDesc.includes('even') || lowerDesc.includes('odd')) { + testCases.push('', '0', '1', '00', '01', '10', '11', '000', '001', '010') + } + + return testCases + } + + const simulateString = useCallback((automata: Automata, input: string) => { + let currentState = automata.states.find(s => s.isInitial) + if (!currentState) throw new Error('No initial state') + + const path = [currentState.name] + + for (const symbol of input) { + const transition = automata.transitions.find(t => + t.from === currentState!.id && t.symbol === symbol + ) + if (!transition) { + return { accepted: false, finalState: currentState.name, path } + } + currentState = automata.states.find(s => s.id === transition.to) + if (!currentState) throw new Error('Invalid transition') + path.push(currentState.name) + } + + return { + accepted: currentState.isFinal, + finalState: currentState.name, + path + } + }, []) + + const testAllStrings = useCallback(() => { + const results = testStrings.map(testString => { + try { + const result = simulateString(automata, testString) + return { + string: testString, + accepted: result.accepted, + path: result.path + } + } catch (error) { + return { + string: testString, + accepted: false, + path: ['Error'] + } + } + }) + setTestResults(results) + }, [testStrings, automata, simulateString]) + + const validateDFAAgainstProblem = useCallback(() => { + if (!problemDescription.trim()) return + + try { + const parsedProblem = parseProblemDescription(problemDescription) + if (!parsedProblem) { + setValidationResult({ + isValid: false, + message: 'Could not parse problem description', + score: '0/0' + }) + return + } + + // Generate comprehensive test cases + const testCases = generateComprehensiveTestCases(parsedProblem) + let passed = 0 + const total = testCases.accept.length + testCases.reject.length + + // Test accept cases + testCases.accept.forEach(testString => { + try { + const result = simulateString(automata, testString) + if (result.accepted) passed++ + } catch (error) { + // Simulation failed + } + }) + + // Test reject cases + testCases.reject.forEach(testString => { + try { + const result = simulateString(automata, testString) + if (!result.accepted) passed++ + } catch (error) { + // Simulation failed + } + }) + + const percentage = total > 0 ? Math.round((passed / total) * 100) : 0 + const isValid = passed === total + + setValidationResult({ + isValid, + message: isValid + ? `✓ Perfect! Your DFA correctly solves the problem.` + : `Partial solution. Your DFA handles ${passed}/${total} test cases correctly.`, + score: `${passed}/${total} (${percentage}%)` + }) + + } catch (error) { + setValidationResult({ + isValid: false, + message: 'Error validating DFA against problem', + score: '0/0' + }) + } + }, [problemDescription, parseProblemDescription, automata, simulateString]) + + const generateComprehensiveTestCases = (parsedProblem: any) => { + const accept = [] + const reject = [] + + switch (parsedProblem.type) { + case 'length': + // Generate all strings of target length + const targetLength = parsedProblem.value + const alphabet = parsedProblem.alphabet + + // Accept: strings of exact length + if (targetLength === 0) { + accept.push('') + } else if (targetLength <= 3) { + generateStringsOfLength(alphabet, targetLength).forEach(s => accept.push(s)) + } + + // Reject: strings of different lengths + reject.push('') // empty if length > 0 + if (targetLength > 1) { + generateStringsOfLength(alphabet, targetLength - 1).slice(0, 5).forEach(s => reject.push(s)) + } + generateStringsOfLength(alphabet, targetLength + 1).slice(0, 5).forEach(s => reject.push(s)) + break + + case 'ending': + const endPattern = parsedProblem.value + accept.push(endPattern, '0' + endPattern, '1' + endPattern, '00' + endPattern) + reject.push('', endPattern + '0', endPattern + '1', '0' + endPattern + '0') + break + + case 'starting': + const startPattern = parsedProblem.value + accept.push(startPattern, startPattern + '0', startPattern + '1', startPattern + '00') + reject.push('', '0' + startPattern, '1' + startPattern, 'x' + startPattern) + break + + case 'containing': + const containPattern = parsedProblem.value + accept.push(containPattern, '0' + containPattern, containPattern + '0', '0' + containPattern + '0') + reject.push('', '0', '1', '00', '01', '10') + break + + case 'count': + const { parity, symbol } = parsedProblem + if (parity === 'even') { + accept.push('', symbol + symbol, '0' + symbol + '0' + symbol) + reject.push(symbol, symbol + symbol + symbol) + } else { + accept.push(symbol, symbol + symbol + symbol) + reject.push('', symbol + symbol) + } + break + } + + return { accept: accept.filter(s => s !== undefined), reject: reject.filter(s => s !== undefined) } + } + + const generateStringsOfLength = (alphabet: string[], length: number): string[] => { + if (length === 0) return [''] + if (length === 1) return alphabet + + const result = [] + const shorter = generateStringsOfLength(alphabet, length - 1) + + for (const str of shorter) { + for (const char of alphabet) { + result.push(str + char) + if (result.length > 20) break // Limit for performance + } + if (result.length > 20) break + } + + return result + } + + const generateEmptyStringDFA = (alphabet: string[]): Automata => { + const states = [ + { + id: 'q0', + name: 'q0', + x: 150, + y: 200, + isInitial: true, + isFinal: true // Accepts only empty string + }, + { + id: 'qr', + name: 'qr', + x: 350, + y: 200, + isInitial: false, + isFinal: false // Reject state + } + ] + + const transitions = [] + + // Any symbol from initial state goes to reject + alphabet.forEach(symbol => { + transitions.push({ + id: generateId(), + from: 'q0', + to: 'qr', + symbol, + label: symbol + }) + }) + + // Self-loop on reject state + alphabet.forEach(symbol => { + transitions.push({ + id: generateId(), + from: 'qr', + to: 'qr', + symbol, + label: symbol + }) + }) + + return { + id: generateId(), + name: 'Empty String Only', + type: 'DFA', + states, + transitions, + alphabet, + createdAt: new Date(), + updatedAt: new Date() + } + } + + const generateUniversalDFA = (alphabet: string[]): Automata => { + const states = [ + { + id: 'q0', + name: 'q0', + x: 250, + y: 200, + isInitial: true, + isFinal: true // Accepts all strings + } + ] + + const transitions = [] + + // Self-loop for all symbols + alphabet.forEach(symbol => { + transitions.push({ + id: generateId(), + from: 'q0', + to: 'q0', + symbol, + label: symbol + }) + }) + + return { + id: generateId(), + name: 'All Strings', + type: 'DFA', + states, + transitions, + alphabet, + createdAt: new Date(), + updatedAt: new Date() + } + } + + // Advanced DFA Generators + const generateLengthMultipleDFA = (divisor: number, alphabet: string[]): Automata => { + const states = [] + const transitions = [] + + // Create states for remainders 0 to divisor-1 + for (let i = 0; i < divisor; i++) { + states.push({ + id: `q${i}`, + name: `q${i}`, + x: 100 + (i % 5) * 120, + y: 100 + Math.floor(i / 5) * 120, + isInitial: i === 0, + isFinal: i === 0 // Accept when length % divisor == 0 + }) + } + + // Create transitions + for (let i = 0; i < divisor; i++) { + alphabet.forEach(symbol => { + const nextState = (i + 1) % divisor + transitions.push({ + id: generateId(), + from: `q${i}`, + to: `q${nextState}`, + symbol, + label: symbol + }) + }) + } + + return { + id: generateId(), + name: `Length multiple of ${divisor}`, + type: 'DFA', + states, + transitions, + alphabet, + createdAt: new Date(), + updatedAt: new Date() + } + } + + const generateLengthRangeDFA = (min: number, max: number, alphabet: string[]): Automata => { + const states = [] + const transitions = [] + + // Create states for lengths 0 to max+1 (reject state) + for (let i = 0; i <= max + 1; i++) { + states.push({ + id: `q${i}`, + name: `q${i}`, + x: 100 + (i % 6) * 100, + y: 100 + Math.floor(i / 6) * 100, + isInitial: i === 0, + isFinal: i >= min && i <= max + }) + } + + // Create transitions + for (let i = 0; i <= max; i++) { + alphabet.forEach(symbol => { + const nextState = i + 1 + transitions.push({ + id: generateId(), + from: `q${i}`, + to: `q${nextState}`, + symbol, + label: symbol + }) + }) + } + + // Reject state self-loops + alphabet.forEach(symbol => { + transitions.push({ + id: generateId(), + from: `q${max + 1}`, + to: `q${max + 1}`, + symbol, + label: symbol + }) + }) + + return { + id: generateId(), + name: `Length between ${min} and ${max}`, + type: 'DFA', + states, + transitions, + alphabet, + createdAt: new Date(), + updatedAt: new Date() + } + } + + const generateLengthMinDFA = (minLength: number, alphabet: string[]): Automata => { + const states = [] + const transitions = [] + + // Create states for lengths 0 to minLength + for (let i = 0; i <= minLength; i++) { + states.push({ + id: `q${i}`, + name: `q${i}`, + x: 100 + i * 120, + y: 200, + isInitial: i === 0, + isFinal: i >= minLength + }) + } + + // Create transitions + for (let i = 0; i < minLength; i++) { + alphabet.forEach(symbol => { + transitions.push({ + id: generateId(), + from: `q${i}`, + to: `q${i + 1}`, + symbol, + label: symbol + }) + }) + } + + // Self-loop on final state + alphabet.forEach(symbol => { + transitions.push({ + id: generateId(), + from: `q${minLength}`, + to: `q${minLength}`, + symbol, + label: symbol + }) + }) + + return { + id: generateId(), + name: `Length at least ${minLength}`, + type: 'DFA', + states, + transitions, + alphabet, + createdAt: new Date(), + updatedAt: new Date() + } + } + + const generateLengthMaxDFA = (maxLength: number, alphabet: string[]): Automata => { + const states = [] + const transitions = [] + + // Create states for lengths 0 to maxLength+1 (reject state) + for (let i = 0; i <= maxLength + 1; i++) { + states.push({ + id: `q${i}`, + name: `q${i}`, + x: 100 + i * 120, + y: 200, + isInitial: i === 0, + isFinal: i <= maxLength + }) + } + + // Create transitions + for (let i = 0; i <= maxLength; i++) { + alphabet.forEach(symbol => { + const nextState = i < maxLength ? i + 1 : maxLength + 1 + transitions.push({ + id: generateId(), + from: `q${i}`, + to: `q${nextState}`, + symbol, + label: symbol + }) + }) + } + + // Reject state self-loops + alphabet.forEach(symbol => { + transitions.push({ + id: generateId(), + from: `q${maxLength + 1}`, + to: `q${maxLength + 1}`, + symbol, + label: symbol + }) + }) + + return { + id: generateId(), + name: `Length at most ${maxLength}`, + type: 'DFA', + states, + transitions, + alphabet, + createdAt: new Date(), + updatedAt: new Date() + } + } + + const generateBalancedDFA = (symbol1: string, symbol2: string, alphabet: string[]): Automata => { + // This is a context-free language, but we can approximate with a finite DFA + // For practical purposes, we'll create a DFA that tracks the difference up to a reasonable bound + const maxDiff = 10 // Track differences from -10 to +10 + const states = [] + const transitions = [] + + for (let diff = -maxDiff; diff <= maxDiff; diff++) { + const stateId = `q${diff + maxDiff}` // Convert to non-negative index + states.push({ + id: stateId, + name: `d${diff}`, + x: 100 + ((diff + maxDiff) % 7) * 80, + y: 100 + Math.floor((diff + maxDiff) / 7) * 80, + isInitial: diff === 0, + isFinal: diff === 0 + }) + } + + // Create transitions + for (let diff = -maxDiff; diff <= maxDiff; diff++) { + const currentStateId = `q${diff + maxDiff}` + + alphabet.forEach(symbol => { + let newDiff = diff + if (symbol === symbol1) newDiff++ + else if (symbol === symbol2) newDiff-- + + // Clamp to bounds + newDiff = Math.max(-maxDiff, Math.min(maxDiff, newDiff)) + const nextStateId = `q${newDiff + maxDiff}` + + transitions.push({ + id: generateId(), + from: currentStateId, + to: nextStateId, + symbol, + label: symbol + }) + }) + } + + return { + id: generateId(), + name: `Equal number of ${symbol1}s and ${symbol2}s`, + type: 'DFA', + states, + transitions, + alphabet, + createdAt: new Date(), + updatedAt: new Date() + } + } + + const generateDifferenceDFA = (symbol1: string, symbol2: string, difference: number, alphabet: string[]): Automata => { + const maxDiff = Math.abs(difference) + 5 + const states = [] + const transitions = [] + + for (let diff = -maxDiff; diff <= maxDiff; diff++) { + const stateId = `q${diff + maxDiff}` + states.push({ + id: stateId, + name: `d${diff}`, + x: 100 + ((diff + maxDiff) % 6) * 90, + y: 100 + Math.floor((diff + maxDiff) / 6) * 90, + isInitial: diff === 0, + isFinal: diff === difference + }) + } + + for (let diff = -maxDiff; diff <= maxDiff; diff++) { + const currentStateId = `q${diff + maxDiff}` + + alphabet.forEach(symbol => { + let newDiff = diff + if (symbol === symbol1) newDiff++ + else if (symbol === symbol2) newDiff-- + + newDiff = Math.max(-maxDiff, Math.min(maxDiff, newDiff)) + const nextStateId = `q${newDiff + maxDiff}` + + transitions.push({ + id: generateId(), + from: currentStateId, + to: nextStateId, + symbol, + label: symbol + }) + }) + } + + return { + id: generateId(), + name: `${symbol1}s exceed ${symbol2}s by ${difference}`, + type: 'DFA', + states, + transitions, + alphabet, + createdAt: new Date(), + updatedAt: new Date() + } + } + + const generateModularDFA = (symbol: string, modulus: number, remainder: number, alphabet: string[]): Automata => { + const states = [] + const transitions = [] + + for (let i = 0; i < modulus; i++) { + states.push({ + id: `q${i}`, + name: `q${i}`, + x: 150 + (i % 4) * 100, + y: 150 + Math.floor(i / 4) * 100, + isInitial: i === 0, + isFinal: i === remainder + }) + } + + for (let i = 0; i < modulus; i++) { + alphabet.forEach(char => { + const nextState = char === symbol ? (i + 1) % modulus : i + transitions.push({ + id: generateId(), + from: `q${i}`, + to: `q${nextState}`, + symbol: char, + label: char + }) + }) + } + + return { + id: generateId(), + name: `${symbol}s mod ${modulus} = ${remainder}`, + type: 'DFA', + states, + transitions, + alphabet, + createdAt: new Date(), + updatedAt: new Date() + } + } + + const generateSubsequenceDFA = (subsequence: string, alphabet: string[]): Automata => { + // Simplified subsequence DFA - tracks progress through subsequence + const states = [] + const transitions = [] + + for (let i = 0; i <= subsequence.length; i++) { + states.push({ + id: `q${i}`, + name: `q${i}`, + x: 100 + i * 120, + y: 200, + isInitial: i === 0, + isFinal: i === subsequence.length + }) + } + + for (let i = 0; i < subsequence.length; i++) { + alphabet.forEach(symbol => { + if (symbol === subsequence[i]) { + // Advance in subsequence + transitions.push({ + id: generateId(), + from: `q${i}`, + to: `q${i + 1}`, + symbol, + label: symbol + }) + } else { + // Stay in same state + transitions.push({ + id: generateId(), + from: `q${i}`, + to: `q${i}`, + symbol, + label: symbol + }) + } + }) + } + + // Final state self-loops + alphabet.forEach(symbol => { + transitions.push({ + id: generateId(), + from: `q${subsequence.length}`, + to: `q${subsequence.length}`, + symbol, + label: symbol + }) + }) + + return { + id: generateId(), + name: `Subsequence ${subsequence}`, + type: 'DFA', + states, + transitions, + alphabet, + createdAt: new Date(), + updatedAt: new Date() + } + } + + const generateNotContainingDFA = (pattern: string, alphabet: string[]): Automata => { + // Create the containing DFA first, then complement it + const containingDFA = generateContainingDFA(pattern, alphabet) + + // Flip final states + const states = containingDFA.states.map(state => ({ + ...state, + isFinal: !state.isFinal + })) + + return { + ...containingDFA, + id: generateId(), + name: `Not containing ${pattern}`, + states + } + } + + const generateRegexDFA = (regex: string, alphabet: string[]): Automata => { + // Simplified regex to DFA conversion for basic patterns + try { + // Handle simple regex patterns + if (regex === '.*') { + return generateUniversalDFA(alphabet) + } + if (regex === '') { + return generateEmptyStringDFA(alphabet) + } + if (regex.match(/^[01]+$/)) { + return generateContainingDFA(regex, alphabet) + } + if (regex.match(/^[01]+\*$/)) { + const pattern = regex.slice(0, -1) + return generateContainingDFA(pattern, alphabet) + } + + // Fallback to universal language + return generateUniversalDFA(alphabet) + } catch (error) { + throw new Error('Complex regex patterns not yet supported') + } + } + + const generateSpecificSetDFA = (strings: string[], alphabet: string[]): Automata => { + // Create a trie-like DFA for the specific set of strings + const states = new Map() + const transitions = [] + let stateCounter = 0 + + // Create root state + states.set('', { id: 'q0', name: 'q0', x: 250, y: 100, isInitial: true, isFinal: strings.includes('') }) + + // Build trie structure + strings.forEach(str => { + for (let i = 0; i <= str.length; i++) { + const prefix = str.substring(0, i) + if (!states.has(prefix)) { + stateCounter++ + states.set(prefix, { + id: `q${stateCounter}`, + name: `q${stateCounter}`, + x: 100 + (i * 120), + y: 100 + (stateCounter % 5) * 80, + isInitial: false, + isFinal: strings.includes(prefix) + }) + } + } + }) + + // Create transitions + states.forEach((state, prefix) => { + alphabet.forEach(symbol => { + const nextPrefix = prefix + symbol + if (states.has(nextPrefix)) { + transitions.push({ + id: generateId(), + from: state.id, + to: states.get(nextPrefix).id, + symbol, + label: symbol + }) + } else { + // Go to reject state (create if needed) + if (!states.has('REJECT')) { + states.set('REJECT', { + id: 'qr', + name: 'qr', + x: 400, + y: 300, + isInitial: false, + isFinal: false + }) + } + transitions.push({ + id: generateId(), + from: state.id, + to: 'qr', + symbol, + label: symbol + }) + } + }) + }) + + // Add self-loops to reject state + if (states.has('REJECT')) { + alphabet.forEach(symbol => { + transitions.push({ + id: generateId(), + from: 'qr', + to: 'qr', + symbol, + label: symbol + }) + }) + } + + return { + id: generateId(), + name: `Specific strings: {${strings.join(', ')}}`, + type: 'DFA', + states: Array.from(states.values()), + transitions, + alphabet, + createdAt: new Date(), + updatedAt: new Date() + } + } + // Keyboard shortcuts useEffect(() => { const handleKeyDown = (e: KeyboardEvent) => { @@ -217,48 +1854,7 @@ export function AutomataEditor({ return (
{/* Toolbar */} -
-
-
- - - -
- - -
- +
)} + {/* Formal Language Problem Solver Panel */} +
+
+
+
+ +

Problem Solver

+
+ +
+ + {showProblemInput && ( +
+ {/* Problem Description Input */} +
+ +