@webwriter/automaton/src/utils/transformations/PDAtoNFA.ts

Build, visualize, and interact with different kinds of automata (DFA, NFA, PDA).

import { NFA } from '../../automata/nfa';
import { PDA } from '../../automata/pda';

export function PDAtoNFA(a: PDA) {
    const nfa = new NFA(
        a.nodes.get(),
        a.transitions.get().map((t) => {
            return {
                from: t.from,
                to: t.to,
                symbols: t.symbols,
                id: t.id,
                label: t.label,
            };
        })
    );

    return nfa;
}