Welcome to the Non-Deterministic Finite Automaton simulator.
In the theory of computation, a Non-Deterministic Finite Automaton is a finite-state
machine
that accepts or rejects strings of symbols and can produce multiple computation of the automaton for each
input string.
It is a model of computation which consists of a set of states that are
connected by
transitions.
We can represent this model using a graph.
Each node of the graph corresponds
to a state.
Each state can either have an accept state or reject
state.
The edges between each node correspond to
transitions.
For the purpose of this simulator, we will explore NDFA with binary
strings
as inputs, therefore each transition can either have a value of 0 or
1.
Enough theory, let's get started with it !
