parser-lr 0.0.0 → 0.2.1

package/dist/lib/parse-table/lr0/lr0-item-set.js

@@ -0,0 +1,235 @@
+import { bnfParserSymbolKey, bnfSymbolKey } from '../bnf/bnf-symbol.js';
+/**
+ * Returns a stable string key for an LR(0) item.
+ *
+ * @param grammar - Grammar containing the referenced production.
+ * @param item - LR(0) item to encode.
+ */
+export function lr0ItemKey(grammar, item) {
+    const production = grammar.production(item.productionId);
+    if (production === null) {
+        return `${String(item.productionId)}@${String(item.dot)}`;
+    }
+    const rhs = production.rhs.map((symbol) => bnfSymbolKey(symbol));
+    const before = rhs.slice(0, item.dot).join(' ');
+    const after = rhs.slice(item.dot).join(' ');
+    if (before.length === 0) {
+        return `${production.name} → · ${after}`.trimEnd();
+    }
+    if (after.length === 0) {
+        return `${production.name} → ${before} ·`;
+    }
+    return `${production.name} → ${before} · ${after}`;
+}
+/**
+ * Returns whether two LR(0) items are identical.
+ *
+ * @param left - First item.
+ * @param right - Second item.
+ */
+export function lr0ItemsEqual(left, right) {
+    return left.productionId === right.productionId && left.dot === right.dot;
+}
+/**
+ * Sorts LR(0) items for canonical set comparison.
+ *
+ * @param items - Items to sort.
+ */
+export function sortLr0Items(items) {
+    return [...items].sort((left, right) => {
+        if (left.productionId !== right.productionId) {
+            return left.productionId - right.productionId;
+        }
+        return left.dot - right.dot;
+    });
+}
+/**
+ * Computes the LR(0) closure of an item set.
+ *
+ * @param grammar - Plain or augmented BNF grammar.
+ * @param items - Seed items.
+ */
+export function lr0Closure(grammar, items) {
+    const result = sortLr0Items(items);
+    const itemKeys = new Set(result.map((item) => Lr0ItemSetBuilder.itemIdentity(item)));
+    let changed = true;
+    while (changed) {
+        changed = false;
+        for (const item of [...result]) {
+            const production = grammar.production(item.productionId);
+            if (production === null) {
+                continue;
+            }
+            const nextSymbol = production.rhs[item.dot];
+            if (nextSymbol === undefined || nextSymbol.kind !== 'nonTerminal') {
+                continue;
+            }
+            for (const candidate of grammar.productionsFor(nextSymbol.name)) {
+                const closureItem = {
+                    productionId: candidate.id,
+                    dot: 0,
+                };
+                const identity = Lr0ItemSetBuilder.itemIdentity(closureItem);
+                if (!itemKeys.has(identity)) {
+                    itemKeys.add(identity);
+                    result.push(closureItem);
+                    changed = true;
+                }
+            }
+        }
+    }
+    return sortLr0Items(result);
+}
+/**
+ * Computes the LR(0) GOTO set for symbol `symbolKey`.
+ *
+ * @param grammar - Plain or augmented BNF grammar.
+ * @param items - Closed item set.
+ * @param symbolKey - Encoded terminal or non-terminal symbol.
+ */
+export function lr0Goto(grammar, items, symbolKey) {
+    const moved = [];
+    for (const item of items) {
+        const production = grammar.production(item.productionId);
+        if (production === null) {
+            continue;
+        }
+        const nextSymbol = production.rhs[item.dot];
+        if (nextSymbol === undefined || bnfParserSymbolKey(nextSymbol) !== symbolKey) {
+            continue;
+        }
+        moved.push({
+            productionId: item.productionId,
+            dot: item.dot + 1,
+        });
+    }
+    if (moved.length === 0) {
+        return [];
+    }
+    return lr0Closure(grammar, moved);
+}
+/**
+ * Canonical collection of LR(0) item sets for a BNF grammar.
+ */
+export class Lr0ItemSetCollection {
+    grammar;
+    itemSets;
+    /**
+     * Creates a collection from an ordered list of closed item sets.
+     *
+     * @param grammar - Grammar the item sets were built from.
+     * @param itemSets - Closed LR(0) item sets in discovery order.
+     */
+    constructor(grammar, itemSets) {
+        this.grammar = grammar;
+        this.itemSets = itemSets;
+    }
+    /**
+     * Returns the index of an item set matching `items`, or null when absent.
+     *
+     * @param items - Closed item set to locate.
+     */
+    indexOf(items) {
+        const target = Lr0ItemSetBuilder.setIdentity(items);
+        for (let index = 0; index < this.itemSets.length; index += 1) {
+            if (Lr0ItemSetBuilder.setIdentity(this.itemSets[index]) === target) {
+                return index;
+            }
+        }
+        return null;
+    }
+}
+/**
+ * Builds LR(0) item sets for a BNF grammar.
+ */
+export class Lr0ItemSetBuilder {
+    /**
+     * Builds the canonical LR(0) collection for a grammar.
+     *
+     * @param grammar - Augmented or plain BNF grammar.
+     */
+    static build(grammar) {
+        const startProductions = grammar.productionsFor(grammar.startSymbol);
+        if (startProductions.length === 0) {
+            return new Lr0ItemSetCollection(grammar, []);
+        }
+        const initial = lr0Closure(grammar, [{
+                productionId: startProductions[0].id,
+                dot: 0,
+            }]);
+        const itemSets = [[...initial]];
+        const itemSetKeys = new Map([
+            [Lr0ItemSetBuilder.setIdentity(initial), 0],
+        ]);
+        const symbols = Lr0ItemSetBuilder.grammarSymbolKeys(grammar);
+        let changed = true;
+        while (changed) {
+            changed = false;
+            for (const itemSet of [...itemSets]) {
+                for (const symbolKey of symbols) {
+                    const gotoSet = lr0Goto(grammar, itemSet, symbolKey);
+                    if (gotoSet.length === 0) {
+                        continue;
+                    }
+                    const gotoKey = Lr0ItemSetBuilder.setIdentity(gotoSet);
+                    const existingIndex = itemSetKeys.get(gotoKey);
+                    if (existingIndex === undefined) {
+                        const nextIndex = itemSets.length;
+                        itemSetKeys.set(gotoKey, nextIndex);
+                        itemSets.push([...gotoSet]);
+                        changed = true;
+                    }
+                }
+            }
+        }
+        return new Lr0ItemSetCollection(grammar, itemSets);
+    }
+    /**
+     * Returns every terminal and non-terminal key that can appear in GOTO.
+     *
+     * @param grammar - BNF grammar to inspect.
+     */
+    static grammarSymbolKeys(grammar) {
+        const keys = new Set(grammar.terminalKeys());
+        for (const name of grammar.nonTerminalNames()) {
+            keys.add(name);
+        }
+        return [...keys].sort();
+    }
+    /**
+     * Returns a stable identity string for one LR(0) item.
+     *
+     * @param item - Item to encode.
+     */
+    static itemIdentity(item) {
+        return `${String(item.productionId)}:${String(item.dot)}`;
+    }
+    /**
+     * Returns a stable identity string for an item set.
+     *
+     * @param items - Closed item set.
+     */
+    static setIdentity(items) {
+        return sortLr0Items(items)
+            .map((item) => Lr0ItemSetBuilder.itemIdentity(item))
+            .join('|');
+    }
+}
+/**
+ * Builds the canonical LR(0) item set collection for a grammar.
+ *
+ * @param grammar - Augmented or plain BNF grammar.
+ */
+export function buildLr0ItemSets(grammar) {
+    return Lr0ItemSetBuilder.build(grammar);
+}
+/**
+ * Returns readable item set labels for tests and diagnostics.
+ *
+ * @param grammar - Grammar containing referenced productions.
+ * @param items - Closed item set.
+ */
+export function formatLr0ItemSet(grammar, items) {
+    return sortLr0Items(items).map((item) => lr0ItemKey(grammar, item));
+}
+//# sourceMappingURL=lr0-item-set.js.map

package/dist/lib/parse-table/lr0/lr0-item-set.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lr0-item-set.js","sourceRoot":"","sources":["../../../../src/lib/parse-table/lr0/lr0-item-set.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,kBAAkB,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AAWxE;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CAAC,OAAmB,EAAE,IAAa;IAEzD,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IAEzD,IAAI,UAAU,KAAK,IAAI,EACvB,CAAC;QACG,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;IAC9D,CAAC;IAED,MAAM,GAAG,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC;IACjE,MAAM,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChD,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAE5C,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EACvB,CAAC;QACG,OAAO,GAAG,UAAU,CAAC,IAAI,QAAQ,KAAK,EAAE,CAAC,OAAO,EAAE,CAAC;IACvD,CAAC;IAED,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EACtB,CAAC;QACG,OAAO,GAAG,UAAU,CAAC,IAAI,MAAM,MAAM,IAAI,CAAC;IAC9C,CAAC;IAED,OAAO,GAAG,UAAU,CAAC,IAAI,MAAM,MAAM,MAAM,KAAK,EAAE,CAAC;AACvD,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,aAAa,CAAC,IAAa,EAAE,KAAc;IAEvD,OAAO,IAAI,CAAC,YAAY,KAAK,KAAK,CAAC,YAAY,IAAI,IAAI,CAAC,GAAG,KAAK,KAAK,CAAC,GAAG,CAAC;AAC9E,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAAC,KAAyB;IAElD,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QAEnC,IAAI,IAAI,CAAC,YAAY,KAAK,KAAK,CAAC,YAAY,EAC5C,CAAC;YACG,OAAO,IAAI,CAAC,YAAY,GAAG,KAAK,CAAC,YAAY,CAAC;QAClD,CAAC;QAED,OAAO,IAAI,CAAC,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC;IAChC,CAAC,CAAC,CAAC;AACP,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CAAC,OAAmB,EAAE,KAAyB;IAErE,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;IACnC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,iBAAiB,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACrF,IAAI,OAAO,GAAG,IAAI,CAAC;IAEnB,OAAO,OAAO,EACd,CAAC;QACG,OAAO,GAAG,KAAK,CAAC;QAEhB,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,MAAM,CAAC,EAC9B,CAAC;YACG,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;YAEzD,IAAI,UAAU,KAAK,IAAI,EACvB,CAAC;gBACG,SAAS;YACb,CAAC;YAED,MAAM,UAAU,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAE5C,IAAI,UAAU,KAAK,SAAS,IAAI,UAAU,CAAC,IAAI,KAAK,aAAa,EACjE,CAAC;gBACG,SAAS;YACb,CAAC;YAED,KAAK,MAAM,SAAS,IAAI,OAAO,CAAC,cAAc,CAAC,UAAU,CAAC,IAAI,CAAC,EAC/D,CAAC;gBACG,MAAM,WAAW,GAAY;oBACzB,YAAY,EAAE,SAAS,CAAC,EAAE;oBAC1B,GAAG,EAAE,CAAC;iBACT,CAAC;gBACF,MAAM,QAAQ,GAAG,iBAAiB,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC;gBAE7D,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,EAC3B,CAAC;oBACG,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;oBACvB,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;oBACzB,OAAO,GAAG,IAAI,CAAC;gBACnB,CAAC;YACL,CAAC;QACL,CAAC;IACL,CAAC;IAED,OAAO,YAAY,CAAC,MAAM,CAAC,CAAC;AAChC,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,OAAO,CACnB,OAAmB,EACnB,KAAyB,EACzB,SAAiB;IAGjB,MAAM,KAAK,GAAc,EAAE,CAAC;IAE5B,KAAK,MAAM,IAAI,IAAI,KAAK,EACxB,CAAC;QACG,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QAEzD,IAAI,UAAU,KAAK,IAAI,EACvB,CAAC;YACG,SAAS;QACb,CAAC;QAED,MAAM,UAAU,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAE5C,IAAI,UAAU,KAAK,SAAS,IAAI,kBAAkB,CAAC,UAAU,CAAC,KAAK,SAAS,EAC5E,CAAC;YACG,SAAS;QACb,CAAC;QAED,KAAK,CAAC,IAAI,CAAC;YACP,YAAY,EAAE,IAAI,CAAC,YAAY;YAC/B,GAAG,EAAE,IAAI,CAAC,GAAG,GAAG,CAAC;SACpB,CAAC,CAAC;IACP,CAAC;IAED,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EACtB,CAAC;QACG,OAAO,EAAE,CAAC;IACd,CAAC;IAED,OAAO,UAAU,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;AACtC,CAAC;AAED;;GAEG;AACH,MAAM,OAAO,oBAAoB;IAST;IACA;IARpB;;;;;OAKG;IACH,YACoB,OAAmB,EACnB,QAAyC;QADzC,YAAO,GAAP,OAAO,CAAY;QACnB,aAAQ,GAAR,QAAQ,CAAiC;IAG7D,CAAC;IAED;;;;OAIG;IACI,OAAO,CAAC,KAAyB;QAEpC,MAAM,MAAM,GAAG,iBAAiB,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;QAEpD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAC5D,CAAC;YACG,IAAI,iBAAiB,CAAC,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,KAAK,MAAM,EAClE,CAAC;gBACG,OAAO,KAAK,CAAC;YACjB,CAAC;QACL,CAAC;QAED,OAAO,IAAI,CAAC;IAChB,CAAC;CACJ;AAED;;GAEG;AACH,MAAM,OAAO,iBAAiB;IAE1B;;;;OAIG;IACI,MAAM,CAAC,KAAK,CAAC,OAAmB;QAEnC,MAAM,gBAAgB,GAAG,OAAO,CAAC,cAAc,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QAErE,IAAI,gBAAgB,CAAC,MAAM,KAAK,CAAC,EACjC,CAAC;YACG,OAAO,IAAI,oBAAoB,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QACjD,CAAC;QAED,MAAM,OAAO,GAAG,UAAU,CAAC,OAAO,EAAE,CAAC;gBACjC,YAAY,EAAE,gBAAgB,CAAC,CAAC,CAAC,CAAC,EAAE;gBACpC,GAAG,EAAE,CAAC;aACT,CAAC,CAAC,CAAC;QACJ,MAAM,QAAQ,GAAgB,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC;QAC7C,MAAM,WAAW,GAAG,IAAI,GAAG,CAAiB;YACxC,CAAC,iBAAiB,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;SAC9C,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,iBAAiB,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC;QAC7D,IAAI,OAAO,GAAG,IAAI,CAAC;QAEnB,OAAO,OAAO,EACd,CAAC;YACG,OAAO,GAAG,KAAK,CAAC;YAEhB,KAAK,MAAM,OAAO,IAAI,CAAC,GAAG,QAAQ,CAAC,EACnC,CAAC;gBACG,KAAK,MAAM,SAAS,IAAI,OAAO,EAC/B,CAAC;oBACG,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;oBAErD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EACxB,CAAC;wBACG,SAAS;oBACb,CAAC;oBAED,MAAM,OAAO,GAAG,iBAAiB,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;oBACvD,MAAM,aAAa,GAAG,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;oBAE/C,IAAI,aAAa,KAAK,SAAS,EAC/B,CAAC;wBACG,MAAM,SAAS,GAAG,QAAQ,CAAC,MAAM,CAAC;wBAClC,WAAW,CAAC,GAAG,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;wBACpC,QAAQ,CAAC,IAAI,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC;wBAC5B,OAAO,GAAG,IAAI,CAAC;oBACnB,CAAC;gBACL,CAAC;YACL,CAAC;QACL,CAAC;QAED,OAAO,IAAI,oBAAoB,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IACvD,CAAC;IAED;;;;OAIG;IACI,MAAM,CAAC,iBAAiB,CAAC,OAAmB;QAE/C,MAAM,IAAI,GAAG,IAAI,GAAG,CAAS,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC;QAErD,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,gBAAgB,EAAE,EAC7C,CAAC;YACG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACnB,CAAC;QAED,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;IAC5B,CAAC;IAED;;;;OAIG;IACI,MAAM,CAAC,YAAY,CAAC,IAAa;QAEpC,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;IAC9D,CAAC;IAED;;;;OAIG;IACI,MAAM,CAAC,WAAW,CAAC,KAAyB;QAE/C,OAAO,YAAY,CAAC,KAAK,CAAC;aACrB,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,iBAAiB,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;aACnD,IAAI,CAAC,GAAG,CAAC,CAAC;IACnB,CAAC;CACJ;AAED;;;;GAIG;AACH,MAAM,UAAU,gBAAgB,CAAC,OAAmB;IAEhD,OAAO,iBAAiB,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;AAC5C,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAAC,OAAmB,EAAE,KAAyB;IAE3E,OAAO,YAAY,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC;AACxE,CAAC"}

package/dist/lib/parse-table/lr1/index.d.ts

@@ -0,0 +1,3 @@
+export { buildLalrGotoTargets, buildLr1ItemSets, firstAfterSymbols, lr1Closure, lr1CoreKey, lr1CoreSetIdentity, lr1Goto, lr1ItemIdentity, lr1SetIdentity, Lr1ItemSetBuilder, Lr1ItemSetCollection, mergeLalrItemSets, sortLr1Items, } from './lr1-item-set.js';
+export type { Lr1Item } from './lr1-item-set.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/lib/parse-table/lr1/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/lib/parse-table/lr1/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,oBAAoB,EACpB,gBAAgB,EAChB,iBAAiB,EACjB,UAAU,EACV,UAAU,EACV,kBAAkB,EAClB,OAAO,EACP,eAAe,EACf,cAAc,EACd,iBAAiB,EACjB,oBAAoB,EACpB,iBAAiB,EACjB,YAAY,GACf,MAAM,mBAAmB,CAAC;AAC3B,YAAY,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAC"}

package/dist/lib/parse-table/lr1/index.js

@@ -0,0 +1,2 @@
+export { buildLalrGotoTargets, buildLr1ItemSets, firstAfterSymbols, lr1Closure, lr1CoreKey, lr1CoreSetIdentity, lr1Goto, lr1ItemIdentity, lr1SetIdentity, Lr1ItemSetBuilder, Lr1ItemSetCollection, mergeLalrItemSets, sortLr1Items, } from './lr1-item-set.js';
+//# sourceMappingURL=index.js.map

package/dist/lib/parse-table/lr1/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/lib/parse-table/lr1/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,oBAAoB,EACpB,gBAAgB,EAChB,iBAAiB,EACjB,UAAU,EACV,UAAU,EACV,kBAAkB,EAClB,OAAO,EACP,eAAe,EACf,cAAc,EACd,iBAAiB,EACjB,oBAAoB,EACpB,iBAAiB,EACjB,YAAY,GACf,MAAM,mBAAmB,CAAC"}

package/dist/lib/parse-table/lr1/lr1-item-set.d.ts

@@ -0,0 +1,157 @@
+import type { GrammarAnalysis } from '../analysis/first-follow.js';
+import type { BnfGrammar } from '../bnf/bnf-grammar.js';
+import { type BnfSymbol } from '../bnf/bnf-symbol.js';
+import type { Lr0Item } from '../lr0/lr0-item-set.js';
+/**
+ * One LR(1) item: a dotted production with a single lookahead terminal.
+ */
+export interface Lr1Item {
+    readonly productionId: number;
+    readonly dot: number;
+    readonly lookahead: string;
+}
+/**
+ * Returns whether two LR(1) items are identical.
+ *
+ * @param left - First item.
+ * @param right - Second item.
+ */
+export declare function lr1ItemsEqual(left: Lr1Item, right: Lr1Item): boolean;
+/**
+ * Sorts LR(1) items for canonical set comparison.
+ *
+ * @param items - Items to sort.
+ */
+export declare function sortLr1Items(items: readonly Lr1Item[]): Lr1Item[];
+/**
+ * Returns the LR(0) core key for one LR(1) item.
+ *
+ * @param item - LR(1) item to encode.
+ */
+export declare function lr1CoreKey(item: Lr1Item): string;
+/**
+ * Returns a stable identity string for one LR(1) item.
+ *
+ * @param item - Item to encode.
+ */
+export declare function lr1ItemIdentity(item: Lr1Item): string;
+/**
+ * Returns a stable identity string for an LR(1) item set.
+ *
+ * @param items - Closed item set.
+ */
+export declare function lr1SetIdentity(items: readonly Lr1Item[]): string;
+/**
+ * Returns the LR(0) core identity for an LR(1) item set.
+ *
+ * @param items - LR(1) item set.
+ */
+export declare function lr1CoreSetIdentity(items: readonly Lr1Item[]): string;
+/**
+ * Computes FIRST(β) ∪ { lookahead } when every symbol in β is nullable.
+ *
+ * @param beta - Remaining right-hand side symbols after a non-terminal.
+ * @param lookahead - Lookahead terminal following β.
+ * @param analysis - Nullable and FIRST analysis for the grammar.
+ */
+export declare function firstAfterSymbols(beta: readonly BnfSymbol[], lookahead: string, analysis: GrammarAnalysis): ReadonlySet<string>;
+/**
+ * Computes the LR(1) closure of an item set.
+ *
+ * @param grammar - Augmented BNF grammar.
+ * @param analysis - Nullable and FIRST analysis for the grammar.
+ * @param items - Seed items.
+ */
+export declare function lr1Closure(grammar: BnfGrammar, analysis: GrammarAnalysis, items: readonly Lr1Item[]): readonly Lr1Item[];
+/**
+ * Computes the LR(1) GOTO set for symbol `symbolKey`.
+ *
+ * @param grammar - Augmented BNF grammar.
+ * @param analysis - Nullable and FIRST analysis for the grammar.
+ * @param items - Closed item set.
+ * @param symbolKey - Encoded terminal or non-terminal symbol.
+ */
+export declare function lr1Goto(grammar: BnfGrammar, analysis: GrammarAnalysis, items: readonly Lr1Item[], symbolKey: string): readonly Lr1Item[];
+/**
+ * Canonical collection of LR(1) item sets for a BNF grammar.
+ */
+export declare class Lr1ItemSetCollection {
+    readonly grammar: BnfGrammar;
+    readonly itemSets: readonly (readonly Lr1Item[])[];
+    /**
+     * Creates a collection from an ordered list of closed item sets.
+     *
+     * @param grammar - Grammar the item sets were built from.
+     * @param itemSets - Closed LR(1) item sets in discovery order.
+     */
+    constructor(grammar: BnfGrammar, itemSets: readonly (readonly Lr1Item[])[]);
+    /**
+     * Returns the index of an item set matching `items`, or null when absent.
+     *
+     * @param items - Closed item set to locate.
+     */
+    indexOf(items: readonly Lr1Item[]): number | null;
+    /**
+     * Returns LR(0) items derived from one LR(1) item set.
+     *
+     * @param items - LR(1) item set.
+     */
+    static lr0Core(items: readonly Lr1Item[]): readonly Lr0Item[];
+}
+/**
+ * Builds LR(1) item sets for a BNF grammar.
+ */
+export declare class Lr1ItemSetBuilder {
+    /**
+     * Builds the canonical LR(1) collection for a grammar.
+     *
+     * @param grammar - Augmented BNF grammar.
+     * @param analysis - Nullable and FIRST analysis for the grammar.
+     * @param startLookahead - Lookahead terminal for the initial item.
+     */
+    static build(grammar: BnfGrammar, analysis: GrammarAnalysis, startLookahead: string): Lr1ItemSetCollection;
+}
+/**
+ * Builds the canonical LR(1) item set collection for a grammar.
+ *
+ * @param grammar - Augmented BNF grammar.
+ * @param analysis - Nullable and FIRST analysis for the grammar.
+ * @param startLookahead - Lookahead terminal for the initial item.
+ */
+export declare function buildLr1ItemSets(grammar: BnfGrammar, analysis: GrammarAnalysis, startLookahead: string): Lr1ItemSetCollection;
+/**
+ * Merges LR(1) item sets that share the same LR(0) core into LALR item sets.
+ *
+ * @param collection - Canonical LR(1) item set collection.
+ */
+export declare function mergeLalrItemSets(collection: Lr1ItemSetCollection): Lr1ItemSetCollection;
+/**
+ * Builds LALR GOTO target indices from an LR(1) collection and merged LALR states.
+ *
+ * @param grammar - Augmented BNF grammar.
+ * @param analysis - Nullable and FIRST analysis for the grammar.
+ * @param lr1Collection - Canonical LR(1) item set collection.
+ * @param lalrCollection - Merged LALR item set collection.
+ * @param lr1ToLalr - LR(1) state index to LALR state index map.
+ */
+export declare function buildLalrGotoTargets(grammar: BnfGrammar, analysis: GrammarAnalysis, lr1Collection: Lr1ItemSetCollection, lr1ToLalr: ReadonlyMap<number, number>): ReadonlyMap<string, number>;
+/**
+ * Merges lookaheads for LR(1) items sharing the same LR(0) core.
+ */
+export declare namespace Lr1ItemSetBuilder {
+    /**
+     * Unions lookaheads for items with the same dotted production.
+     *
+     * @param left - Existing merged item set.
+     * @param right - Additional LR(1) item set to merge in.
+     */
+    function mergeItems(left: readonly Lr1Item[], right: readonly Lr1Item[]): Lr1Item[];
+    /**
+     * Builds the LR(1) to LALR state index map for merged item sets.
+     *
+     * @param lr1Collection - Canonical LR(1) item set collection.
+     * @param lalrCollection - Merged LALR item set collection.
+     */
+    function buildLr1ToLalrMap(lr1Collection: Lr1ItemSetCollection, lalrCollection: Lr1ItemSetCollection): Map<number, number>;
+}
+//# sourceMappingURL=lr1-item-set.d.ts.map

package/dist/lib/parse-table/lr1/lr1-item-set.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"lr1-item-set.d.ts","sourceRoot":"","sources":["../../../../src/lib/parse-table/lr1/lr1-item-set.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AACnE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACxD,OAAO,EAAsB,KAAK,SAAS,EAAE,MAAM,sBAAsB,CAAC;AAC1E,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAC;AAItD;;GAEG;AACH,MAAM,WAAW,OAAO;IAEpB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC9B;AAED;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,GAAG,OAAO,CAKpE;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE,SAAS,OAAO,EAAE,GAAG,OAAO,EAAE,CAgBjE;AAED;;;;GAIG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,OAAO,GAAG,MAAM,CAGhD;AAED;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,IAAI,EAAE,OAAO,GAAG,MAAM,CAGrD;AAED;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,SAAS,OAAO,EAAE,GAAG,MAAM,CAKhE;AAED;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,SAAS,OAAO,EAAE,GAAG,MAAM,CAKpE;AAED;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAC7B,IAAI,EAAE,SAAS,SAAS,EAAE,EAC1B,SAAS,EAAE,MAAM,EACjB,QAAQ,EAAE,eAAe,GAC1B,WAAW,CAAC,MAAM,CAAC,CAoBrB;AAED;;;;;;GAMG;AACH,wBAAgB,UAAU,CACtB,OAAO,EAAE,UAAU,EACnB,QAAQ,EAAE,eAAe,EACzB,KAAK,EAAE,SAAS,OAAO,EAAE,GAC1B,SAAS,OAAO,EAAE,CAmDpB;AAED;;;;;;;GAOG;AACH,wBAAgB,OAAO,CACnB,OAAO,EAAE,UAAU,EACnB,QAAQ,EAAE,eAAe,EACzB,KAAK,EAAE,SAAS,OAAO,EAAE,EACzB,SAAS,EAAE,MAAM,GAClB,SAAS,OAAO,EAAE,CAiCpB;AAED;;GAEG;AACH,qBAAa,oBAAoB;aAST,OAAO,EAAE,UAAU;aACnB,QAAQ,EAAE,SAAS,CAAC,SAAS,OAAO,EAAE,CAAC,EAAE;IAR7D;;;;;OAKG;gBAEiB,OAAO,EAAE,UAAU,EACnB,QAAQ,EAAE,SAAS,CAAC,SAAS,OAAO,EAAE,CAAC,EAAE;IAK7D;;;;OAIG;IACI,OAAO,CAAC,KAAK,EAAE,SAAS,OAAO,EAAE,GAAG,MAAM,GAAG,IAAI;IAexD;;;;OAIG;WACW,OAAO,CAAC,KAAK,EAAE,SAAS,OAAO,EAAE,GAAG,SAAS,OAAO,EAAE;CAcvE;AAED;;GAEG;AACH,qBAAa,iBAAiB;IAE1B;;;;;;OAMG;WACW,KAAK,CACf,OAAO,EAAE,UAAU,EACnB,QAAQ,EAAE,eAAe,EACzB,cAAc,EAAE,MAAM,GACvB,oBAAoB;CAoD1B;AAED;;;;;;GAMG;AACH,wBAAgB,gBAAgB,CAC5B,OAAO,EAAE,UAAU,EACnB,QAAQ,EAAE,eAAe,EACzB,cAAc,EAAE,MAAM,GACvB,oBAAoB,CAGtB;AAED;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,UAAU,EAAE,oBAAoB,GAAG,oBAAoB,CA6BxF;AAED;;;;;;;;GAQG;AACH,wBAAgB,oBAAoB,CAChC,OAAO,EAAE,UAAU,EACnB,QAAQ,EAAE,eAAe,EACzB,aAAa,EAAE,oBAAoB,EACnC,SAAS,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,GACvC,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CA4C7B;AAED;;GAEG;AACH,yBAAiB,iBAAiB,CAClC;IACI;;;;;OAKG;IACH,SAAgB,UAAU,CAAC,IAAI,EAAE,SAAS,OAAO,EAAE,EAAE,KAAK,EAAE,SAAS,OAAO,EAAE,GAAG,OAAO,EAAE,CA+BzF;IAED;;;;;OAKG;IACH,SAAgB,iBAAiB,CAC7B,aAAa,EAAE,oBAAoB,EACnC,cAAc,EAAE,oBAAoB,GACrC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CA0BrB;CACJ"}