Skip to content

Latest commit

 

History

History
45 lines (33 loc) · 917 Bytes

FA_SCHEMA.md

File metadata and controls

45 lines (33 loc) · 917 Bytes
Raw

Schema for FA Models

DFA Schema

{
    "inputs": [],
    "inputstate": ,
    "finalstates": [],
    "transit-table": {
        "": [],
        "": [],
    }
}

  • No. of key-value pairs in transit-table must be equal to length of states.

  • 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

NFA Schema

{
    "inputs": [],
    "inputstate": ,
    "finalstates": [],
    "transit-table": {
        "": [],
        "": [],
    }
}

  • No. of key-value pairs in transit-table must be equal to length of states.

  • 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.