{
"inputs": [],
"inputstate": ,
"finalstates": [],
"transit-table": {
"": [],
"": [],
}
}
-
No. of key-value pairs in
transit-table
must be equal to length ofstates
. -
There must be exactly one
inputstate
. -
Length of each value (for any state) in
transit-table
must be equal to length of inputs. -
List of transition output states must match the index of of
inputs
{
"inputs": [],
"inputstate": ,
"finalstates": [],
"transit-table": {
"": [],
"": [],
}
}
-
No. of key-value pairs in
transit-table
must be equal to length ofstates
. -
There must be exactly one
inputstate
. -
Length of each value (for any state) in
transit-table
may not be equal to length of inputs. -
List of transition output states must match the index of of
inputs
.