@pattern-algebra/core 0.0.0

package/dist/automaton/complement.test.js

@@ -0,0 +1,114 @@
+import { describe, it, expect } from 'vitest';
+import { complement } from './complement';
+import { buildAutomaton } from '../compile/automaton-builder';
+import { parsePattern } from '../parse';
+import { determinize } from './determinize';
+import { compilePattern } from '../compile';
+describe('complement', () => {
+    describe('basic complement', () => {
+        it('swaps accepting states', () => {
+            const pattern = parsePattern('src/index.ts');
+            const nfa = buildAutomaton(pattern);
+            const dfa = determinize(nfa);
+            const original = dfa;
+            const complemented = complement(original);
+            // Accepting states should differ
+            // Originally accepting states become non-accepting
+            const originalAccepting = new Set(original.acceptingStates);
+            const complementedAccepting = new Set(complemented.acceptingStates);
+            // They should not be the same
+            expect(complementedAccepting).not.toEqual(originalAccepting);
+        });
+        it('preserves state count', () => {
+            const pattern = parsePattern('src/*.ts');
+            const nfa = buildAutomaton(pattern);
+            const dfa = determinize(nfa);
+            const complemented = complement(dfa);
+            expect(complemented.states.length).toBe(dfa.states.length);
+        });
+        it('preserves deterministic property', () => {
+            const pattern = parsePattern('src/*.ts');
+            const nfa = buildAutomaton(pattern);
+            const dfa = determinize(nfa);
+            expect(dfa.isDeterministic).toBe(true);
+            const complemented = complement(dfa);
+            expect(complemented.isDeterministic).toBe(true);
+        });
+    });
+    describe('accepting state inversion', () => {
+        // Note: These tests verify the automaton structure after complement.
+        // Testing actual matching behavior with complemented automata requires
+        // proper integration with matchPath, which may need additional work.
+        it('originally non-accepting states become accepting after complement', () => {
+            const pattern = parsePattern('src/index.ts');
+            const nfa = buildAutomaton(pattern);
+            const dfa = determinize(nfa);
+            const complemented = complement(dfa);
+            // Find states that were NOT accepting in original
+            const originalNonAccepting = dfa.states.filter((s) => !s.accepting).map((s) => s.id);
+            // Those states should now be accepting in complemented
+            for (const id of originalNonAccepting) {
+                const complementedState = complemented.states.find((s) => s.id === id);
+                expect(complementedState?.accepting).toBe(true);
+            }
+        });
+        it('originally accepting states become non-accepting after complement', () => {
+            const pattern = parsePattern('src/index.ts');
+            const nfa = buildAutomaton(pattern);
+            const dfa = determinize(nfa);
+            const complemented = complement(dfa);
+            // Find states that WERE accepting in original
+            const originalAccepting = dfa.states.filter((s) => s.accepting).map((s) => s.id);
+            // Those states should now be non-accepting in complemented
+            for (const id of originalAccepting) {
+                const complementedState = complemented.states.find((s) => s.id === id);
+                expect(complementedState?.accepting).toBe(false);
+            }
+        });
+    });
+    describe('double complement', () => {
+        it('double complement is equivalent to original (literal)', () => {
+            const original = compilePattern(parsePattern('src/index.ts'));
+            const dfa = determinize(original.automaton);
+            const complemented = complement(dfa);
+            const doubleComplemented = complement(complemented);
+            // Double complement should have same accepting states as original
+            expect(new Set(doubleComplemented.acceptingStates)).toEqual(new Set(dfa.acceptingStates));
+        });
+        it('double complement has same state accepting flags as original', () => {
+            const original = compilePattern(parsePattern('src/*.ts'));
+            const dfa = determinize(original.automaton);
+            const doubleComplemented = complement(complement(dfa));
+            // Each state should have same accepting flag as original
+            for (let i = 0; i < dfa.states.length; i++) {
+                expect(doubleComplemented.states[i].accepting).toBe(dfa.states[i].accepting);
+            }
+        });
+    });
+    describe('edge cases', () => {
+        it('handles automaton with wildcard pattern', () => {
+            const pattern = parsePattern('*');
+            const nfa = buildAutomaton(pattern);
+            const dfa = determinize(nfa);
+            const complemented = complement(dfa);
+            expect(complemented.states.length).toBe(dfa.states.length);
+        });
+        it('handles complex globstar pattern', () => {
+            const pattern = parsePattern('src/**/*.ts');
+            const nfa = buildAutomaton(pattern);
+            const dfa = determinize(nfa);
+            const complemented = complement(dfa);
+            // Complement should preserve structure
+            expect(complemented.states.length).toBe(dfa.states.length);
+            expect(complemented.isDeterministic).toBe(true);
+            // Accepting states should be inverted
+            const originalAcceptingSet = new Set(dfa.acceptingStates);
+            const complementedAcceptingSet = new Set(complemented.acceptingStates);
+            // No state should be in both sets
+            for (const id of originalAcceptingSet) {
+                expect(complementedAcceptingSet.has(id)).toBe(false);
+            }
+        });
+    });
+});
+//# sourceMappingURL=complement.test.js.map

package/dist/automaton/complement.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"complement.test.js","sourceRoot":"","sources":["../../src/automaton/complement.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC7C,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAA;AACzC,OAAO,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAA;AAC7D,OAAO,EAAE,YAAY,EAAE,MAAM,UAAU,CAAA;AACvC,OAAO,EAAE,WAAW,EAAE,MAAM,eAAe,CAAA;AAC3C,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAA;AAE3C,QAAQ,CAAC,YAAY,EAAE,GAAG,EAAE;IAC1B,QAAQ,CAAC,kBAAkB,EAAE,GAAG,EAAE;QAChC,EAAE,CAAC,wBAAwB,EAAE,GAAG,EAAE;YAChC,MAAM,OAAO,GAAG,YAAY,CAAC,cAAc,CAAC,CAAA;YAC5C,MAAM,GAAG,GAAG,cAAc,CAAC,OAAO,CAAC,CAAA;YACnC,MAAM,GAAG,GAAG,WAAW,CAAC,GAAG,CAAC,CAAA;YAE5B,MAAM,QAAQ,GAAG,GAAG,CAAA;YACpB,MAAM,YAAY,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAA;YAEzC,iCAAiC;YACjC,mDAAmD;YACnD,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAA;YAC3D,MAAM,qBAAqB,GAAG,IAAI,GAAG,CAAC,YAAY,CAAC,eAAe,CAAC,CAAA;YAEnE,8BAA8B;YAC9B,MAAM,CAAC,qBAAqB,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAA;QAC9D,CAAC,CAAC,CAAA;QAEF,EAAE,CAAC,uBAAuB,EAAE,GAAG,EAAE;YAC/B,MAAM,OAAO,GAAG,YAAY,CAAC,UAAU,CAAC,CAAA;YACxC,MAAM,GAAG,GAAG,cAAc,CAAC,OAAO,CAAC,CAAA;YACnC,MAAM,GAAG,GAAG,WAAW,CAAC,GAAG,CAAC,CAAA;YAE5B,MAAM,YAAY,GAAG,UAAU,CAAC,GAAG,CAAC,CAAA;YAEpC,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;QAC5D,CAAC,CAAC,CAAA;QAEF,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;YAC1C,MAAM,OAAO,GAAG,YAAY,CAAC,UAAU,CAAC,CAAA;YACxC,MAAM,GAAG,GAAG,cAAc,CAAC,OAAO,CAAC,CAAA;YACnC,MAAM,GAAG,GAAG,WAAW,CAAC,GAAG,CAAC,CAAA;YAE5B,MAAM,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YAEtC,MAAM,YAAY,GAAG,UAAU,CAAC,GAAG,CAAC,CAAA;YACpC,MAAM,CAAC,YAAY,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACjD,CAAC,CAAC,CAAA;IACJ,CAAC,CAAC,CAAA;IAEF,QAAQ,CAAC,2BAA2B,EAAE,GAAG,EAAE;QACzC,qEAAqE;QACrE,uEAAuE;QACvE,qEAAqE;QAErE,EAAE,CAAC,mEAAmE,EAAE,GAAG,EAAE;YAC3E,MAAM,OAAO,GAAG,YAAY,CAAC,cAAc,CAAC,CAAA;YAC5C,MAAM,GAAG,GAAG,cAAc,CAAC,OAAO,CAAC,CAAA;YACnC,MAAM,GAAG,GAAG,WAAW,CAAC,GAAG,CAAC,CAAA;YAE5B,MAAM,YAAY,GAAG,UAAU,CAAC,GAAG,CAAC,CAAA;YAEpC,kDAAkD;YAClD,MAAM,oBAAoB,GAAG,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;YAEpF,uDAAuD;YACvD,KAAK,MAAM,EAAE,IAAI,oBAAoB,EAAE,CAAC;gBACtC,MAAM,iBAAiB,GAAG,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAA;gBACtE,MAAM,CAAC,iBAAiB,EAAE,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YACjD,CAAC;QACH,CAAC,CAAC,CAAA;QAEF,EAAE,CAAC,mEAAmE,EAAE,GAAG,EAAE;YAC3E,MAAM,OAAO,GAAG,YAAY,CAAC,cAAc,CAAC,CAAA;YAC5C,MAAM,GAAG,GAAG,cAAc,CAAC,OAAO,CAAC,CAAA;YACnC,MAAM,GAAG,GAAG,WAAW,CAAC,GAAG,CAAC,CAAA;YAE5B,MAAM,YAAY,GAAG,UAAU,CAAC,GAAG,CAAC,CAAA;YAEpC,8CAA8C;YAC9C,MAAM,iBAAiB,GAAG,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;YAEhF,2DAA2D;YAC3D,KAAK,MAAM,EAAE,IAAI,iBAAiB,EAAE,CAAC;gBACnC,MAAM,iBAAiB,GAAG,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAA;gBACtE,MAAM,CAAC,iBAAiB,EAAE,SAAS,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;YAClD,CAAC;QACH,CAAC,CAAC,CAAA;IACJ,CAAC,CAAC,CAAA;IAEF,QAAQ,CAAC,mBAAmB,EAAE,GAAG,EAAE;QACjC,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;YAC/D,MAAM,QAAQ,GAAG,cAAc,CAAC,YAAY,CAAC,cAAc,CAAC,CAAC,CAAA;YAC7D,MAAM,GAAG,GAAG,WAAW,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAA;YAE3C,MAAM,YAAY,GAAG,UAAU,CAAC,GAAG,CAAC,CAAA;YACpC,MAAM,kBAAkB,GAAG,UAAU,CAAC,YAAY,CAAC,CAAA;YAEnD,kEAAkE;YAClE,MAAM,CAAC,IAAI,GAAG,CAAC,kBAAkB,CAAC,eAAe,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,CAAA;QAC3F,CAAC,CAAC,CAAA;QAEF,EAAE,CAAC,8DAA8D,EAAE,GAAG,EAAE;YACtE,MAAM,QAAQ,GAAG,cAAc,CAAC,YAAY,CAAC,UAAU,CAAC,CAAC,CAAA;YACzD,MAAM,GAAG,GAAG,WAAW,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAA;YAE3C,MAAM,kBAAkB,GAAG,UAAU,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAA;YAEtD,yDAAyD;YACzD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC3C,MAAM,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAA;YAC9E,CAAC;QACH,CAAC,CAAC,CAAA;IACJ,CAAC,CAAC,CAAA;IAEF,QAAQ,CAAC,YAAY,EAAE,GAAG,EAAE;QAC1B,EAAE,CAAC,yCAAyC,EAAE,GAAG,EAAE;YACjD,MAAM,OAAO,GAAG,YAAY,CAAC,GAAG,CAAC,CAAA;YACjC,MAAM,GAAG,GAAG,cAAc,CAAC,OAAO,CAAC,CAAA;YACnC,MAAM,GAAG,GAAG,WAAW,CAAC,GAAG,CAAC,CAAA;YAE5B,MAAM,YAAY,GAAG,UAAU,CAAC,GAAG,CAAC,CAAA;YACpC,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;QAC5D,CAAC,CAAC,CAAA;QAEF,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;YAC1C,MAAM,OAAO,GAAG,YAAY,CAAC,aAAa,CAAC,CAAA;YAC3C,MAAM,GAAG,GAAG,cAAc,CAAC,OAAO,CAAC,CAAA;YACnC,MAAM,GAAG,GAAG,WAAW,CAAC,GAAG,CAAC,CAAA;YAE5B,MAAM,YAAY,GAAG,UAAU,CAAC,GAAG,CAAC,CAAA;YAEpC,uCAAuC;YACvC,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;YAC1D,MAAM,CAAC,YAAY,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YAE/C,sCAAsC;YACtC,MAAM,oBAAoB,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,eAAe,CAAC,CAAA;YACzD,MAAM,wBAAwB,GAAG,IAAI,GAAG,CAAC,YAAY,CAAC,eAAe,CAAC,CAAA;YAEtE,kCAAkC;YAClC,KAAK,MAAM,EAAE,IAAI,oBAAoB,EAAE,CAAC;gBACtC,MAAM,CAAC,wBAAwB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;YACtD,CAAC;QACH,CAAC,CAAC,CAAA;IACJ,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA"}

package/dist/automaton/determinize.d.ts

@@ -0,0 +1,41 @@
+/**
+ * NFA to DFA conversion using subset construction.
+ * @packageDocumentation
+ */
+import type { SegmentAutomaton } from '../types';
+/**
+ * Default maximum number of DFA states before throwing an error.
+ * This prevents exponential blowup from patterns with many alternations.
+ *
+ * @public
+ */
+export declare const DEFAULT_MAX_DFA_STATES = 10000;
+/**
+ * Options for DFA construction.
+ *
+ * @public
+ */
+export interface DeterminizeOptions {
+    /**
+     * Maximum number of DFA states to create before throwing an error.
+     * Set to `Infinity` to disable the limit (not recommended).
+     * @defaultValue 10000
+     */
+    maxStates?: number;
+}
+/**
+ * Convert an NFA to a DFA using subset construction.
+ *
+ * The resulting DFA has states that correspond to sets of NFA states.
+ * Globstar transitions are handled by treating them as transitions
+ * that can match any segment.
+ *
+ * @param nfa - The NFA to determinize
+ * @param options - Optional configuration for the conversion
+ * @returns An equivalent DFA
+ * @throws AutomatonLimitError if DFA state count exceeds the configured limit
+ *
+ * @public
+ */
+export declare function determinize(nfa: SegmentAutomaton, options?: DeterminizeOptions): SegmentAutomaton;
+//# sourceMappingURL=determinize.d.ts.map

package/dist/automaton/determinize.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"determinize.d.ts","sourceRoot":"","sources":["../../src/automaton/determinize.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,gBAAgB,EAAuD,MAAM,UAAU,CAAA;AAGrG;;;;;GAKG;AACH,eAAO,MAAM,sBAAsB,QAAS,CAAA;AAE5C;;;;GAIG;AACH,MAAM,WAAW,kBAAkB;IACjC;;;;OAIG;IACH,SAAS,CAAC,EAAE,MAAM,CAAA;CACnB;AAUD;;;;;;;;;;;;;GAaG;AACH,wBAAgB,WAAW,CAAC,GAAG,EAAE,gBAAgB,EAAE,OAAO,GAAE,kBAAuB,GAAG,gBAAgB,CAoIrG"}

package/dist/automaton/determinize.js

@@ -0,0 +1,310 @@
+/**
+ * NFA to DFA conversion using subset construction.
+ * @packageDocumentation
+ */
+import { AutomatonLimitError } from '../types';
+/**
+ * Default maximum number of DFA states before throwing an error.
+ * This prevents exponential blowup from patterns with many alternations.
+ *
+ * @public
+ */
+export const DEFAULT_MAX_DFA_STATES = 10_000;
+/**
+ * Convert an NFA to a DFA using subset construction.
+ *
+ * The resulting DFA has states that correspond to sets of NFA states.
+ * Globstar transitions are handled by treating them as transitions
+ * that can match any segment.
+ *
+ * @param nfa - The NFA to determinize
+ * @param options - Optional configuration for the conversion
+ * @returns An equivalent DFA
+ * @throws AutomatonLimitError if DFA state count exceeds the configured limit
+ *
+ * @public
+ */
+export function determinize(nfa, options = {}) {
+    const maxStates = options.maxStates ?? DEFAULT_MAX_DFA_STATES;
+    // Already deterministic? Just ensure it's complete.
+    if (nfa.isDeterministic) {
+        return makeComplete(nfa);
+    }
+    // Map from state set (as string key) to DFA state ID
+    const stateSetMap = new Map();
+    const dfaStates = [];
+    // Helper to get or create a DFA state for an NFA state set
+    const getOrCreateState = (nfaStateSet) => {
+        const key = serializeStateSet(nfaStateSet);
+        let dfaStateId = stateSetMap.get(key);
+        if (dfaStateId === undefined) {
+            // Check state limit before creating new state
+            if (dfaStates.length >= maxStates) {
+                throw new AutomatonLimitError('DFA_STATE_LIMIT', `DFA construction exceeded limit of ${maxStates} states. ` +
+                    `The pattern may be too complex (e.g., many alternations or wildcards). ` +
+                    `Consider simplifying the pattern or increasing the maxStates limit.`, maxStates, dfaStates.length + 1);
+            }
+            dfaStateId = dfaStates.length;
+            stateSetMap.set(key, dfaStateId);
+            // Check if any NFA state in the set is accepting
+            const accepting = [...nfaStateSet].some((s) => nfa.states[s].accepting);
+            dfaStates.push({
+                id: dfaStateId,
+                transitions: [], // Will be filled later
+                accepting,
+            });
+        }
+        return dfaStateId;
+    };
+    // Start with epsilon closure of initial state
+    const initialClosure = epsilonClosure(nfa, new Set([nfa.initialState]));
+    const initialDfaState = getOrCreateState(initialClosure);
+    // Worklist of DFA states to process
+    const worklist = [
+        { dfaStateId: initialDfaState, nfaStateSet: initialClosure },
+    ];
+    const processed = new Set();
+    // Collect all alphabet symbols from the NFA
+    const alphabet = collectAlphabet(nfa);
+    while (worklist.length > 0) {
+        const { dfaStateId, nfaStateSet } = worklist.pop();
+        if (processed.has(dfaStateId))
+            continue;
+        processed.add(dfaStateId);
+        const transitions = [];
+        // For each symbol in the alphabet, compute the target state set
+        for (const symbol of alphabet) {
+            const targetNfaSet = computeTransition(nfa, nfaStateSet, symbol);
+            if (targetNfaSet.size > 0) {
+                const targetDfaState = getOrCreateState(targetNfaSet);
+                // Add transition
+                if (symbol.type === 'literal') {
+                    transitions.push({
+                        type: 'literal',
+                        segment: symbol.value,
+                        target: targetDfaState,
+                    });
+                }
+                else if (symbol.type === 'wildcard') {
+                    transitions.push({
+                        type: 'wildcard',
+                        pattern: symbol.pattern,
+                        patternSource: symbol.patternSource,
+                        target: targetDfaState,
+                    });
+                }
+                // 'any' symbols are handled specially - they become catch-all wildcard
+                // Add to worklist if not processed
+                if (!processed.has(targetDfaState)) {
+                    worklist.push({ dfaStateId: targetDfaState, nfaStateSet: targetNfaSet });
+                }
+            }
+        }
+        // Handle "any segment" transitions (from globstar)
+        const anyTarget = computeAnyTransition(nfa, nfaStateSet);
+        if (anyTarget.size > 0) {
+            const targetDfaState = getOrCreateState(anyTarget);
+            transitions.push({
+                type: 'wildcard',
+                pattern: /^.+$/,
+                patternSource: '*',
+                target: targetDfaState,
+            });
+            if (!processed.has(targetDfaState)) {
+                worklist.push({ dfaStateId: targetDfaState, nfaStateSet: anyTarget });
+            }
+        }
+        // Update state with transitions
+        dfaStates[dfaStateId] = {
+            ...dfaStates[dfaStateId],
+            transitions,
+        };
+    }
+    const acceptingStates = dfaStates.filter((s) => s.accepting).map((s) => s.id);
+    const dfa = {
+        states: dfaStates,
+        initialState: initialDfaState,
+        acceptingStates,
+        isDeterministic: true,
+    };
+    // Make the DFA complete for complement operation
+    return makeComplete(dfa);
+}
+/**
+ * Serialize a state set to a string key for map lookup.
+ */
+function serializeStateSet(stateSet) {
+    return [...stateSet].sort((a, b) => a - b).join(',');
+}
+/**
+ * Compute epsilon closure of a state set.
+ */
+function epsilonClosure(automaton, states) {
+    const closure = new Set(states);
+    const worklist = [...states];
+    while (worklist.length > 0) {
+        const stateId = worklist.pop();
+        const state = automaton.states[stateId];
+        for (const transition of state.transitions) {
+            if (transition.type === 'epsilon') {
+                if (!closure.has(transition.target)) {
+                    closure.add(transition.target);
+                    worklist.push(transition.target);
+                }
+            }
+            else if (transition.type === 'globstar') {
+                // Globstar's exit is an epsilon transition (can match zero segments)
+                if (!closure.has(transition.exit)) {
+                    closure.add(transition.exit);
+                    worklist.push(transition.exit);
+                }
+            }
+        }
+    }
+    return closure;
+}
+/**
+ * Collect all symbols from the NFA alphabet.
+ */
+function collectAlphabet(automaton) {
+    const symbols = [];
+    const literalSet = new Set();
+    const wildcardSet = new Map();
+    for (const state of automaton.states) {
+        for (const transition of state.transitions) {
+            if (transition.type === 'literal') {
+                if (!literalSet.has(transition.segment)) {
+                    literalSet.add(transition.segment);
+                    symbols.push({ type: 'literal', value: transition.segment });
+                }
+            }
+            else if (transition.type === 'wildcard') {
+                const key = transition.patternSource || transition.pattern.source;
+                if (!wildcardSet.has(key)) {
+                    wildcardSet.set(key, transition.pattern);
+                    symbols.push({
+                        type: 'wildcard',
+                        pattern: transition.pattern,
+                        patternSource: transition.patternSource,
+                    });
+                }
+            }
+            // Globstar contributes an implicit "any" symbol
+        }
+    }
+    return symbols;
+}
+/**
+ * Compute the set of NFA states reachable from a state set on a symbol.
+ */
+function computeTransition(nfa, fromStates, symbol) {
+    const reached = new Set();
+    for (const stateId of fromStates) {
+        const state = nfa.states[stateId];
+        for (const transition of state.transitions) {
+            if (matchesSymbol(transition, symbol)) {
+                reached.add(getTarget(transition));
+            }
+        }
+    }
+    // Return epsilon closure of reached states
+    return epsilonClosure(nfa, reached);
+}
+/**
+ * Compute transitions on "any segment" (from globstar self-loops).
+ */
+function computeAnyTransition(nfa, fromStates) {
+    const reached = new Set();
+    for (const stateId of fromStates) {
+        const state = nfa.states[stateId];
+        for (const transition of state.transitions) {
+            if (transition.type === 'globstar') {
+                // Self-loop: consuming any segment stays in same state
+                reached.add(transition.selfLoop);
+            }
+        }
+    }
+    return epsilonClosure(nfa, reached);
+}
+/**
+ * Check if a transition matches a symbol.
+ */
+function matchesSymbol(transition, symbol) {
+    if (transition.type === 'literal' && symbol.type === 'literal') {
+        return transition.segment === symbol.value;
+    }
+    if (transition.type === 'wildcard' && symbol.type === 'wildcard') {
+        // Match if same pattern source
+        return transition.patternSource === symbol.patternSource;
+    }
+    return false;
+}
+/**
+ * Get target state from a transition.
+ */
+function getTarget(transition) {
+    switch (transition.type) {
+        case 'literal':
+        case 'wildcard':
+            return transition.target;
+        case 'globstar':
+            return transition.selfLoop;
+        case 'epsilon':
+            return transition.target;
+    }
+}
+/**
+ * Make a DFA complete by adding a sink state for missing transitions.
+ *
+ * A complete DFA has exactly one transition for each symbol from each state.
+ * This is required for complement operation.
+ *
+ * For segment automata with an infinite alphabet, we add a "catch-all"
+ * wildcard transition to a sink state for any segment not explicitly handled.
+ */
+function makeComplete(dfa) {
+    // Create a sink state (non-accepting, transitions to self on any input)
+    const sinkStateId = dfa.states.length;
+    const sinkState = {
+        id: sinkStateId,
+        accepting: false,
+        transitions: [
+            {
+                type: 'wildcard',
+                pattern: /^.*$/,
+                patternSource: '*',
+                target: sinkStateId,
+            },
+        ],
+    };
+    // For each state, add a catch-all transition to sink for unhandled inputs
+    const completedStates = dfa.states.map((state) => {
+        // Check if state already has a catch-all wildcard (pattern that matches everything)
+        const hasCatchAll = state.transitions.some((t) => t.type === 'wildcard' && /^\^?\.\*\$?$/.test(t.pattern.source));
+        if (hasCatchAll) {
+            return state;
+        }
+        // Add catch-all transition to sink state
+        return {
+            ...state,
+            transitions: [
+                ...state.transitions,
+                {
+                    type: 'wildcard',
+                    pattern: /^.*$/,
+                    patternSource: '*',
+                    target: sinkStateId,
+                },
+            ],
+        };
+    });
+    // Add sink state
+    completedStates.push(sinkState);
+    return {
+        states: completedStates,
+        initialState: dfa.initialState,
+        acceptingStates: dfa.acceptingStates,
+        isDeterministic: true,
+    };
+}
+//# sourceMappingURL=determinize.js.map

package/dist/automaton/determinize.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"determinize.js","sourceRoot":"","sources":["../../src/automaton/determinize.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,EAAE,mBAAmB,EAAE,MAAM,UAAU,CAAA;AAE9C;;;;;GAKG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,MAAM,CAAA;AAwB5C;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,WAAW,CAAC,GAAqB,EAAE,UAA8B,EAAE;IACjF,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,IAAI,sBAAsB,CAAA;IAE7D,oDAAoD;IACpD,IAAI,GAAG,CAAC,eAAe,EAAE,CAAC;QACxB,OAAO,YAAY,CAAC,GAAG,CAAC,CAAA;IAC1B,CAAC;IAED,qDAAqD;IACrD,MAAM,WAAW,GAAG,IAAI,GAAG,EAAkB,CAAA;IAC7C,MAAM,SAAS,GAAqB,EAAE,CAAA;IAEtC,2DAA2D;IAC3D,MAAM,gBAAgB,GAAG,CAAC,WAAwB,EAAU,EAAE;QAC5D,MAAM,GAAG,GAAG,iBAAiB,CAAC,WAAW,CAAC,CAAA;QAC1C,IAAI,UAAU,GAAG,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QAErC,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YAC7B,8CAA8C;YAC9C,IAAI,SAAS,CAAC,MAAM,IAAI,SAAS,EAAE,CAAC;gBAClC,MAAM,IAAI,mBAAmB,CAC3B,iBAAiB,EACjB,sCAAsC,SAAS,WAAW;oBACxD,yEAAyE;oBACzE,qEAAqE,EACvE,SAAS,EACT,SAAS,CAAC,MAAM,GAAG,CAAC,CACrB,CAAA;YACH,CAAC;YAED,UAAU,GAAG,SAAS,CAAC,MAAM,CAAA;YAC7B,WAAW,CAAC,GAAG,CAAC,GAAG,EAAE,UAAU,CAAC,CAAA;YAEhC,iDAAiD;YACjD,MAAM,SAAS,GAAG,CAAC,GAAG,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAA;YAEvE,SAAS,CAAC,IAAI,CAAC;gBACb,EAAE,EAAE,UAAU;gBACd,WAAW,EAAE,EAAE,EAAE,uBAAuB;gBACxC,SAAS;aACV,CAAC,CAAA;QACJ,CAAC;QAED,OAAO,UAAU,CAAA;IACnB,CAAC,CAAA;IAED,8CAA8C;IAC9C,MAAM,cAAc,GAAG,cAAc,CAAC,GAAG,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,CAAA;IACvE,MAAM,eAAe,GAAG,gBAAgB,CAAC,cAAc,CAAC,CAAA;IAExD,oCAAoC;IACpC,MAAM,QAAQ,GAAuD;QACnE,EAAE,UAAU,EAAE,eAAe,EAAE,WAAW,EAAE,cAAc,EAAE;KAC7D,CAAA;IACD,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAA;IAEnC,4CAA4C;IAC5C,MAAM,QAAQ,GAAG,eAAe,CAAC,GAAG,CAAC,CAAA;IAErC,OAAO,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3B,MAAM,EAAE,UAAU,EAAE,WAAW,EAAE,GAAG,QAAQ,CAAC,GAAG,EAAG,CAAA;QAEnD,IAAI,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC;YAAE,SAAQ;QACvC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;QAEzB,MAAM,WAAW,GAA0B,EAAE,CAAA;QAE7C,gEAAgE;QAChE,KAAK,MAAM,MAAM,IAAI,QAAQ,EAAE,CAAC;YAC9B,MAAM,YAAY,GAAG,iBAAiB,CAAC,GAAG,EAAE,WAAW,EAAE,MAAM,CAAC,CAAA;YAEhE,IAAI,YAAY,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;gBAC1B,MAAM,cAAc,GAAG,gBAAgB,CAAC,YAAY,CAAC,CAAA;gBAErD,iBAAiB;gBACjB,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;oBAC9B,WAAW,CAAC,IAAI,CAAC;wBACf,IAAI,EAAE,SAAS;wBACf,OAAO,EAAE,MAAM,CAAC,KAAK;wBACrB,MAAM,EAAE,cAAc;qBACvB,CAAC,CAAA;gBACJ,CAAC;qBAAM,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;oBACtC,WAAW,CAAC,IAAI,CAAC;wBACf,IAAI,EAAE,UAAU;wBAChB,OAAO,EAAE,MAAM,CAAC,OAAO;wBACvB,aAAa,EAAE,MAAM,CAAC,aAAa;wBACnC,MAAM,EAAE,cAAc;qBACvB,CAAC,CAAA;gBACJ,CAAC;gBACD,uEAAuE;gBAEvE,mCAAmC;gBACnC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,cAAc,CAAC,EAAE,CAAC;oBACnC,QAAQ,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,cAAc,EAAE,WAAW,EAAE,YAAY,EAAE,CAAC,CAAA;gBAC1E,CAAC;YACH,CAAC;QACH,CAAC;QAED,mDAAmD;QACnD,MAAM,SAAS,GAAG,oBAAoB,CAAC,GAAG,EAAE,WAAW,CAAC,CAAA;QACxD,IAAI,SAAS,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;YACvB,MAAM,cAAc,GAAG,gBAAgB,CAAC,SAAS,CAAC,CAAA;YAClD,WAAW,CAAC,IAAI,CAAC;gBACf,IAAI,EAAE,UAAU;gBAChB,OAAO,EAAE,MAAM;gBACf,aAAa,EAAE,GAAG;gBAClB,MAAM,EAAE,cAAc;aACvB,CAAC,CAAA;YAEF,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,cAAc,CAAC,EAAE,CAAC;gBACnC,QAAQ,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,cAAc,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC,CAAA;YACvE,CAAC;QACH,CAAC;QAED,gCAAgC;QAChC,SAAS,CAAC,UAAU,CAAC,GAAG;YACtB,GAAG,SAAS,CAAC,UAAU,CAAC;YACxB,WAAW;SACZ,CAAA;IACH,CAAC;IAED,MAAM,eAAe,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;IAE7E,MAAM,GAAG,GAAqB;QAC5B,MAAM,EAAE,SAAS;QACjB,YAAY,EAAE,eAAe;QAC7B,eAAe;QACf,eAAe,EAAE,IAAI;KACtB,CAAA;IAED,iDAAiD;IACjD,OAAO,YAAY,CAAC,GAAG,CAAC,CAAA;AAC1B,CAAC;AAED;;GAEG;AACH,SAAS,iBAAiB,CAAC,QAAqB;IAC9C,OAAO,CAAC,GAAG,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;AACtD,CAAC;AAED;;GAEG;AACH,SAAS,cAAc,CAAC,SAA2B,EAAE,MAAmB;IACtE,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAA;IAC/B,MAAM,QAAQ,GAAG,CAAC,GAAG,MAAM,CAAC,CAAA;IAE5B,OAAO,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3B,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,EAAG,CAAA;QAC/B,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;QAEvC,KAAK,MAAM,UAAU,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;YAC3C,IAAI,UAAU,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBAClC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;oBACpC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,CAAA;oBAC9B,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAA;gBAClC,CAAC;YACH,CAAC;iBAAM,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBAC1C,qEAAqE;gBACrE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;oBAClC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAA;oBAC5B,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAA;gBAChC,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,OAAO,CAAA;AAChB,CAAC;AAED;;GAEG;AACH,SAAS,eAAe,CAAC,SAA2B;IAClD,MAAM,OAAO,GAAqB,EAAE,CAAA;IACpC,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAA;IACpC,MAAM,WAAW,GAAG,IAAI,GAAG,EAAmC,CAAA;IAE9D,KAAK,MAAM,KAAK,IAAI,SAAS,CAAC,MAAM,EAAE,CAAC;QACrC,KAAK,MAAM,UAAU,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;YAC3C,IAAI,UAAU,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBAClC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;oBACxC,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,CAAA;oBAClC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,UAAU,CAAC,OAAO,EAAE,CAAC,CAAA;gBAC9D,CAAC;YACH,CAAC;iBAAM,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBAC1C,MAAM,GAAG,GAAG,UAAU,CAAC,aAAa,IAAI,UAAU,CAAC,OAAO,CAAC,MAAM,CAAA;gBACjE,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;oBAC1B,WAAW,CAAC,GAAG,CAAC,GAAG,EAAE,UAAU,CAAC,OAAO,CAAC,CAAA;oBACxC,OAAO,CAAC,IAAI,CAAC;wBACX,IAAI,EAAE,UAAU;wBAChB,OAAO,EAAE,UAAU,CAAC,OAAO;wBAC3B,aAAa,EAAE,UAAU,CAAC,aAAa;qBACxC,CAAC,CAAA;gBACJ,CAAC;YACH,CAAC;YACD,gDAAgD;QAClD,CAAC;IACH,CAAC;IAED,OAAO,OAAO,CAAA;AAChB,CAAC;AAED;;GAEG;AACH,SAAS,iBAAiB,CAAC,GAAqB,EAAE,UAAuB,EAAE,MAAsB;IAC/F,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAA;IAEjC,KAAK,MAAM,OAAO,IAAI,UAAU,EAAE,CAAC;QACjC,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;QAEjC,KAAK,MAAM,UAAU,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;YAC3C,IAAI,aAAa,CAAC,UAAU,EAAE,MAAM,CAAC,EAAE,CAAC;gBACtC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAA;YACpC,CAAC;QACH,CAAC;IACH,CAAC;IAED,2CAA2C;IAC3C,OAAO,cAAc,CAAC,GAAG,EAAE,OAAO,CAAC,CAAA;AACrC,CAAC;AAED;;GAEG;AACH,SAAS,oBAAoB,CAAC,GAAqB,EAAE,UAAuB;IAC1E,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAA;IAEjC,KAAK,MAAM,OAAO,IAAI,UAAU,EAAE,CAAC;QACjC,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;QAEjC,KAAK,MAAM,UAAU,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;YAC3C,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBACnC,uDAAuD;gBACvD,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAA;YAClC,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,cAAc,CAAC,GAAG,EAAE,OAAO,CAAC,CAAA;AACrC,CAAC;AAED;;GAEG;AACH,SAAS,aAAa,CAAC,UAA+B,EAAE,MAAsB;IAC5E,IAAI,UAAU,CAAC,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC/D,OAAO,UAAU,CAAC,OAAO,KAAK,MAAM,CAAC,KAAK,CAAA;IAC5C,CAAC;IACD,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QACjE,+BAA+B;QAC/B,OAAO,UAAU,CAAC,aAAa,KAAK,MAAM,CAAC,aAAa,CAAA;IAC1D,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAED;;GAEG;AACH,SAAS,SAAS,CAAC,UAA+B;IAChD,QAAQ,UAAU,CAAC,IAAI,EAAE,CAAC;QACxB,KAAK,SAAS,CAAC;QACf,KAAK,UAAU;YACb,OAAO,UAAU,CAAC,MAAM,CAAA;QAC1B,KAAK,UAAU;YACb,OAAO,UAAU,CAAC,QAAQ,CAAA;QAC5B,KAAK,SAAS;YACZ,OAAO,UAAU,CAAC,MAAM,CAAA;IAC5B,CAAC;AACH,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,YAAY,CAAC,GAAqB;IACzC,wEAAwE;IACxE,MAAM,WAAW,GAAG,GAAG,CAAC,MAAM,CAAC,MAAM,CAAA;IACrC,MAAM,SAAS,GAAmB;QAChC,EAAE,EAAE,WAAW;QACf,SAAS,EAAE,KAAK;QAChB,WAAW,EAAE;YACX;gBACE,IAAI,EAAE,UAAU;gBAChB,OAAO,EAAE,MAAM;gBACf,aAAa,EAAE,GAAG;gBAClB,MAAM,EAAE,WAAW;aACpB;SACF;KACF,CAAA;IAED,0EAA0E;IAC1E,MAAM,eAAe,GAAqB,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QACjE,oFAAoF;QACpF,MAAM,WAAW,GAAG,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAA;QAEjH,IAAI,WAAW,EAAE,CAAC;YAChB,OAAO,KAAK,CAAA;QACd,CAAC;QAED,yCAAyC;QACzC,OAAO;YACL,GAAG,KAAK;YACR,WAAW,EAAE;gBACX,GAAG,KAAK,CAAC,WAAW;gBACpB;oBACE,IAAI,EAAE,UAAmB;oBACzB,OAAO,EAAE,MAAM;oBACf,aAAa,EAAE,GAAG;oBAClB,MAAM,EAAE,WAAW;iBACpB;aACF;SACF,CAAA;IACH,CAAC,CAAC,CAAA;IAEF,iBAAiB;IACjB,eAAe,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;IAE/B,OAAO;QACL,MAAM,EAAE,eAAe;QACvB,YAAY,EAAE,GAAG,CAAC,YAAY;QAC9B,eAAe,EAAE,GAAG,CAAC,eAAe;QACpC,eAAe,EAAE,IAAI;KACtB,CAAA;AACH,CAAC"}

package/dist/automaton/determinize.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=determinize.test.d.ts.map

package/dist/automaton/determinize.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"determinize.test.d.ts","sourceRoot":"","sources":["../../src/automaton/determinize.test.ts"],"names":[],"mappings":""}

package/dist/automaton/determinize.test.js

@@ -0,0 +1,134 @@
+import { describe, it, expect } from 'vitest';
+import { determinize, DEFAULT_MAX_DFA_STATES } from './determinize';
+import { buildAutomaton } from '../compile/automaton-builder';
+import { parsePattern } from '../parse';
+import { matchPath } from '../match';
+import { compilePattern } from '../compile';
+import { AutomatonLimitError } from '../types';
+describe('determinize', () => {
+    describe('basic conversion', () => {
+        it('returns already deterministic automata unchanged (except completion)', () => {
+            const pattern = parsePattern('src/index.ts');
+            const automaton = buildAutomaton(pattern);
+            // Mark as deterministic for testing
+            const dfa = { ...automaton, isDeterministic: true };
+            const result = determinize(dfa);
+            // Should have same accepting behavior
+            expect(result.isDeterministic).toBe(true);
+        });
+        it('converts simple NFA to DFA', () => {
+            const pattern = parsePattern('src/*.ts');
+            const nfa = buildAutomaton(pattern);
+            expect(nfa.isDeterministic).toBe(false);
+            const dfa = determinize(nfa);
+            expect(dfa.isDeterministic).toBe(true);
+            expect(dfa.states.length).toBeGreaterThan(0);
+        });
+        it('preserves matching semantics for literals', () => {
+            const pattern = compilePattern(parsePattern('src/index.ts'));
+            const dfa = determinize(pattern.automaton);
+            const compiled = { ...pattern, automaton: dfa };
+            expect(matchPath('/src/index.ts', compiled)).toBe(true);
+            expect(matchPath('/src/other.ts', compiled)).toBe(false);
+            expect(matchPath('/lib/index.ts', compiled)).toBe(false);
+        });
+        it('preserves matching semantics for wildcards', () => {
+            const pattern = compilePattern(parsePattern('src/*.ts'));
+            const dfa = determinize(pattern.automaton);
+            const compiled = { ...pattern, automaton: dfa };
+            expect(matchPath('/src/index.ts', compiled)).toBe(true);
+            expect(matchPath('/src/utils.ts', compiled)).toBe(true);
+            expect(matchPath('/src/index.js', compiled)).toBe(false);
+        });
+        it('preserves matching semantics for globstar', () => {
+            const pattern = compilePattern(parsePattern('src/**/*.ts'));
+            const dfa = determinize(pattern.automaton);
+            const compiled = { ...pattern, automaton: dfa };
+            expect(matchPath('/src/index.ts', compiled)).toBe(true);
+            expect(matchPath('/src/utils/helper.ts', compiled)).toBe(true);
+            expect(matchPath('/src/a/b/c/d.ts', compiled)).toBe(true);
+            expect(matchPath('/lib/index.ts', compiled)).toBe(false);
+        });
+    });
+    describe('epsilon closure', () => {
+        it('correctly handles epsilon transitions', () => {
+            // Patterns with alternation have epsilon transitions
+            const pattern = compilePattern(parsePattern('{src,lib}/*.ts'));
+            const dfa = determinize(pattern.automaton);
+            const compiled = { ...pattern, automaton: dfa };
+            expect(matchPath('/src/index.ts', compiled)).toBe(true);
+            expect(matchPath('/lib/index.ts', compiled)).toBe(true);
+            expect(matchPath('/test/index.ts', compiled)).toBe(false);
+        });
+    });
+    describe('DFA completeness', () => {
+        it('adds sink state for unhandled transitions', () => {
+            const pattern = compilePattern(parsePattern('src/index.ts'));
+            const dfa = determinize(pattern.automaton);
+            // The DFA should have catch-all transitions to a sink state
+            const hasCatchAll = dfa.states.some((state) => state.transitions.some((t) => t.type === 'wildcard' && /^\^?\.\*\$?$/.test(t.pattern.source)));
+            expect(hasCatchAll).toBe(true);
+        });
+        it('sink state is non-accepting', () => {
+            const pattern = compilePattern(parsePattern('src/index.ts'));
+            const dfa = determinize(pattern.automaton);
+            // Find the sink state (state with self-loop on catch-all)
+            const sinkState = dfa.states.find((state) => !state.accepting &&
+                state.transitions.some((t) => t.type === 'wildcard' && /^\^?\.\*\$?$/.test(t.pattern.source) && t.target === state.id));
+            expect(sinkState).toBeDefined();
+            expect(sinkState.accepting).toBe(false);
+        });
+    });
+    describe('state limit', () => {
+        it('exports DEFAULT_MAX_DFA_STATES constant', () => {
+            expect(DEFAULT_MAX_DFA_STATES).toBe(10_000);
+        });
+        it('accepts custom maxStates option', () => {
+            const pattern = parsePattern('src/*.ts');
+            const nfa = buildAutomaton(pattern);
+            // Should work with high limit
+            const dfa = determinize(nfa, { maxStates: 100 });
+            expect(dfa.isDeterministic).toBe(true);
+        });
+        it('throws AutomatonLimitError when state limit exceeded', () => {
+            const pattern = parsePattern('{a,b,c,d,e}/*.ts');
+            const nfa = buildAutomaton(pattern);
+            // With a very low limit, should throw
+            expect(() => determinize(nfa, { maxStates: 2 })).toThrow(AutomatonLimitError);
+        });
+        it('AutomatonLimitError contains limit info', () => {
+            const pattern = parsePattern('{a,b,c}/*.ts');
+            const nfa = buildAutomaton(pattern);
+            try {
+                determinize(nfa, { maxStates: 2 });
+                expect.fail('Should have thrown');
+            }
+            catch (e) {
+                expect(e).toBeInstanceOf(AutomatonLimitError);
+                const error = e;
+                expect(error.code).toBe('DFA_STATE_LIMIT');
+                expect(error.limit).toBe(2);
+                expect(error.actual).toBeGreaterThan(2);
+            }
+        });
+    });
+    describe('complex patterns', () => {
+        it('handles multiple wildcards', () => {
+            const pattern = compilePattern(parsePattern('src/**/test-*.spec.ts'));
+            const dfa = determinize(pattern.automaton);
+            const compiled = { ...pattern, automaton: dfa };
+            expect(matchPath('/src/test-unit.spec.ts', compiled)).toBe(true);
+            expect(matchPath('/src/utils/test-integration.spec.ts', compiled)).toBe(true);
+            expect(matchPath('/src/unit.spec.ts', compiled)).toBe(false);
+        });
+        it('handles nested alternations', () => {
+            const pattern = compilePattern(parsePattern('{src,lib}/{utils,helpers}/*.ts'));
+            const dfa = determinize(pattern.automaton);
+            const compiled = { ...pattern, automaton: dfa };
+            expect(matchPath('/src/utils/foo.ts', compiled)).toBe(true);
+            expect(matchPath('/lib/helpers/bar.ts', compiled)).toBe(true);
+            expect(matchPath('/src/core/baz.ts', compiled)).toBe(false);
+        });
+    });
+});
+//# sourceMappingURL=determinize.test.js.map

package/dist/automaton/determinize.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"determinize.test.js","sourceRoot":"","sources":["../../src/automaton/determinize.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC7C,OAAO,EAAE,WAAW,EAAE,sBAAsB,EAAE,MAAM,eAAe,CAAA;AACnE,OAAO,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAA;AAC7D,OAAO,EAAE,YAAY,EAAE,MAAM,UAAU,CAAA;AACvC,OAAO,EAAE,SAAS,EAAE,MAAM,UAAU,CAAA;AACpC,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAA;AAC3C,OAAO,EAAE,mBAAmB,EAAE,MAAM,UAAU,CAAA;AAE9C,QAAQ,CAAC,aAAa,EAAE,GAAG,EAAE;IAC3B,QAAQ,CAAC,kBAAkB,EAAE,GAAG,EAAE;QAChC,EAAE,CAAC,sEAAsE,EAAE,GAAG,EAAE;YAC9E,MAAM,OAAO,GAAG,YAAY,CAAC,cAAc,CAAC,CAAA;YAC5C,MAAM,SAAS,GAAG,cAAc,CAAC,OAAO,CAAC,CAAA;YAEzC,oCAAoC;YACpC,MAAM,GAAG,GAAG,EAAE,GAAG,SAAS,EAAE,eAAe,EAAE,IAAI,EAAE,CAAA;YACnD,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,CAAA;YAE/B,sCAAsC;YACtC,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAC3C,CAAC,CAAC,CAAA;QAEF,EAAE,CAAC,4BAA4B,EAAE,GAAG,EAAE;YACpC,MAAM,OAAO,GAAG,YAAY,CAAC,UAAU,CAAC,CAAA;YACxC,MAAM,GAAG,GAAG,cAAc,CAAC,OAAO,CAAC,CAAA;YAEnC,MAAM,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;YAEvC,MAAM,GAAG,GAAG,WAAW,CAAC,GAAG,CAAC,CAAA;YAE5B,MAAM,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YACtC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAA;QAC9C,CAAC,CAAC,CAAA;QAEF,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;YACnD,MAAM,OAAO,GAAG,cAAc,CAAC,YAAY,CAAC,cAAc,CAAC,CAAC,CAAA;YAC5D,MAAM,GAAG,GAAG,WAAW,CAAC,OAAO,CAAC,SAAS,CAAC,CAAA;YAC1C,MAAM,QAAQ,GAAG,EAAE,GAAG,OAAO,EAAE,SAAS,EAAE,GAAG,EAAE,CAAA;YAE/C,MAAM,CAAC,SAAS,CAAC,eAAe,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YACvD,MAAM,CAAC,SAAS,CAAC,eAAe,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;YACxD,MAAM,CAAC,SAAS,CAAC,eAAe,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QAC1D,CAAC,CAAC,CAAA;QAEF,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;YACpD,MAAM,OAAO,GAAG,cAAc,CAAC,YAAY,CAAC,UAAU,CAAC,CAAC,CAAA;YACxD,MAAM,GAAG,GAAG,WAAW,CAAC,OAAO,CAAC,SAAS,CAAC,CAAA;YAC1C,MAAM,QAAQ,GAAG,EAAE,GAAG,OAAO,EAAE,SAAS,EAAE,GAAG,EAAE,CAAA;YAE/C,MAAM,CAAC,SAAS,CAAC,eAAe,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YACvD,MAAM,CAAC,SAAS,CAAC,eAAe,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YACvD,MAAM,CAAC,SAAS,CAAC,eAAe,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QAC1D,CAAC,CAAC,CAAA;QAEF,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;YACnD,MAAM,OAAO,GAAG,cAAc,CAAC,YAAY,CAAC,aAAa,CAAC,CAAC,CAAA;YAC3D,MAAM,GAAG,GAAG,WAAW,CAAC,OAAO,CAAC,SAAS,CAAC,CAAA;YAC1C,MAAM,QAAQ,GAAG,EAAE,GAAG,OAAO,EAAE,SAAS,EAAE,GAAG,EAAE,CAAA;YAE/C,MAAM,CAAC,SAAS,CAAC,eAAe,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YACvD,MAAM,CAAC,SAAS,CAAC,sBAAsB,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YAC9D,MAAM,CAAC,SAAS,CAAC,iBAAiB,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YACzD,MAAM,CAAC,SAAS,CAAC,eAAe,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QAC1D,CAAC,CAAC,CAAA;IACJ,CAAC,CAAC,CAAA;IAEF,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;QAC/B,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;YAC/C,qDAAqD;YACrD,MAAM,OAAO,GAAG,cAAc,CAAC,YAAY,CAAC,gBAAgB,CAAC,CAAC,CAAA;YAC9D,MAAM,GAAG,GAAG,WAAW,CAAC,OAAO,CAAC,SAAS,CAAC,CAAA;YAC1C,MAAM,QAAQ,GAAG,EAAE,GAAG,OAAO,EAAE,SAAS,EAAE,GAAG,EAAE,CAAA;YAE/C,MAAM,CAAC,SAAS,CAAC,eAAe,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YACvD,MAAM,CAAC,SAAS,CAAC,eAAe,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YACvD,MAAM,CAAC,SAAS,CAAC,gBAAgB,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QAC3D,CAAC,CAAC,CAAA;IACJ,CAAC,CAAC,CAAA;IAEF,QAAQ,CAAC,kBAAkB,EAAE,GAAG,EAAE;QAChC,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;YACnD,MAAM,OAAO,GAAG,cAAc,CAAC,YAAY,CAAC,cAAc,CAAC,CAAC,CAAA;YAC5D,MAAM,GAAG,GAAG,WAAW,CAAC,OAAO,CAAC,SAAS,CAAC,CAAA;YAE1C,4DAA4D;YAC5D,MAAM,WAAW,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAC5C,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAC9F,CAAA;YACD,MAAM,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAChC,CAAC,CAAC,CAAA;QAEF,EAAE,CAAC,6BAA6B,EAAE,GAAG,EAAE;YACrC,MAAM,OAAO,GAAG,cAAc,CAAC,YAAY,CAAC,cAAc,CAAC,CAAC,CAAA;YAC5D,MAAM,GAAG,GAAG,WAAW,CAAC,OAAO,CAAC,SAAS,CAAC,CAAA;YAE1C,0DAA0D;YAC1D,MAAM,SAAS,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,CAC/B,CAAC,KAAK,EAAE,EAAE,CACR,CAAC,KAAK,CAAC,SAAS;gBAChB,KAAK,CAAC,WAAW,CAAC,IAAI,CACpB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,KAAK,CAAC,EAAE,CAC/F,CACJ,CAAA;YAED,MAAM,CAAC,SAAS,CAAC,CAAC,WAAW,EAAE,CAAA;YAC/B,MAAM,CAAC,SAAU,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QAC1C,CAAC,CAAC,CAAA;IACJ,CAAC,CAAC,CAAA;IAEF,QAAQ,CAAC,aAAa,EAAE,GAAG,EAAE;QAC3B,EAAE,CAAC,yCAAyC,EAAE,GAAG,EAAE;YACjD,MAAM,CAAC,sBAAsB,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;QAC7C,CAAC,CAAC,CAAA;QAEF,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;YACzC,MAAM,OAAO,GAAG,YAAY,CAAC,UAAU,CAAC,CAAA;YACxC,MAAM,GAAG,GAAG,cAAc,CAAC,OAAO,CAAC,CAAA;YAEnC,8BAA8B;YAC9B,MAAM,GAAG,GAAG,WAAW,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,CAAA;YAChD,MAAM,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACxC,CAAC,CAAC,CAAA;QAEF,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;YAC9D,MAAM,OAAO,GAAG,YAAY,CAAC,kBAAkB,CAAC,CAAA;YAChD,MAAM,GAAG,GAAG,cAAc,CAAC,OAAO,CAAC,CAAA;YAEnC,sCAAsC;YACtC,MAAM,CAAC,GAAG,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAA;QAC/E,CAAC,CAAC,CAAA;QAEF,EAAE,CAAC,yCAAyC,EAAE,GAAG,EAAE;YACjD,MAAM,OAAO,GAAG,YAAY,CAAC,cAAc,CAAC,CAAA;YAC5C,MAAM,GAAG,GAAG,cAAc,CAAC,OAAO,CAAC,CAAA;YAEnC,IAAI,CAAC;gBACH,WAAW,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAA;gBAClC,MAAM,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAA;YACnC,CAAC;YAAC,OAAO,CAAC,EAAE,CAAC;gBACX,MAAM,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,mBAAmB,CAAC,CAAA;gBAC7C,MAAM,KAAK,GAAG,CAAwB,CAAA;gBACtC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAA;gBAC1C,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;gBAC3B,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAA;YACzC,CAAC;QACH,CAAC,CAAC,CAAA;IACJ,CAAC,CAAC,CAAA;IAEF,QAAQ,CAAC,kBAAkB,EAAE,GAAG,EAAE;QAChC,EAAE,CAAC,4BAA4B,EAAE,GAAG,EAAE;YACpC,MAAM,OAAO,GAAG,cAAc,CAAC,YAAY,CAAC,uBAAuB,CAAC,CAAC,CAAA;YACrE,MAAM,GAAG,GAAG,WAAW,CAAC,OAAO,CAAC,SAAS,CAAC,CAAA;YAC1C,MAAM,QAAQ,GAAG,EAAE,GAAG,OAAO,EAAE,SAAS,EAAE,GAAG,EAAE,CAAA;YAE/C,MAAM,CAAC,SAAS,CAAC,wBAAwB,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YAChE,MAAM,CAAC,SAAS,CAAC,qCAAqC,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YAC7E,MAAM,CAAC,SAAS,CAAC,mBAAmB,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QAC9D,CAAC,CAAC,CAAA;QAEF,EAAE,CAAC,6BAA6B,EAAE,GAAG,EAAE;YACrC,MAAM,OAAO,GAAG,cAAc,CAAC,YAAY,CAAC,gCAAgC,CAAC,CAAC,CAAA;YAC9E,MAAM,GAAG,GAAG,WAAW,CAAC,OAAO,CAAC,SAAS,CAAC,CAAA;YAC1C,MAAM,QAAQ,GAAG,EAAE,GAAG,OAAO,EAAE,SAAS,EAAE,GAAG,EAAE,CAAA;YAE/C,MAAM,CAAC,SAAS,CAAC,mBAAmB,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YAC3D,MAAM,CAAC,SAAS,CAAC,qBAAqB,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YAC7D,MAAM,CAAC,SAAS,CAAC,kBAAkB,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QAC7D,CAAC,CAAC,CAAA;IACJ,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA"}