automata


This npm package provides a way to create and manipulate finite automatons based on regular expressions.

Install

``sh
npm install @davnpsh/automata
`

Usage

The NFA (Nondeterministic Finite Automaton) object allows you to create a NFA from a regular expression string.

`js
import { NFA } from '@davnpsh/automata';

const nfa = new NFA('a(b|c)*');
`

You can also create a DFA from a regular expression string.

`js
import { uDFA, mDFA } from '@davnpsh/automata';

const udfa = new uDFA('a(b|c)*'); // Unoptimised DFA
const mdfa = new mDFA('a(b|c)*'); // Minimised DFA
`

In both cases, you can traverse the automaton given the initial_state attribute and going through the next attribute,
which is an array of edges.

Configuration

These objects can also be configured.

`js
import { NFA } from '@davnpsh/automata';

const nfa = new NFA('a(b|c)*', {
// Custom empty symbol
empty_symbol: "&"
});
`

Test

You can test the automaton with a string.

`js
import { mDFA } from '@davnpsh/automata';

const mdfa = new mDFA('a(b|c)*');
mdfa.test("ab");
`

It returns an object with the accept attribute and the routes attribute, which is an array of arrays of transitions.

Graph

You can also get the graph of the automaton in a format compatible with Cytoscape.

`js
import { mDFA } from '@davnpsh/automata';

const mdfa = new mDFA('a(b|c)*');
mdfa.cytograph(); // Cytoscape elements format
`

It is recommended to import the stylesheet and the layout into your project.

`js
import { cytoscape_styles, cytoscape_layout } from '@davnpsh/automata';

// Use it on your cytoscape component.
// For example, in React:

// IMPORTANT: To use the provided layout, you must import cytoscape-dagre
Cytoscape.use(dagre);

const Graph = () => {
return (
elements={mdfa.cytograph()}
style={{ width: "100%", height: "100%" }}
stylesheet={cytoscape_styles}
layout={cytoscape_layout}
/>
);
};
``