{
    "title": "Formal Languages",
    "desc": "Formal Languages Book For Summmer semester 2020. The Book has mix of Frames and VisFormaLang chapters",
    "build_dir": "Books",
    "code_dir": "SourceCode/",
    "code_lang": {
      "Java": {
        "ext": [
          "java"
        ],
        "label": "Java",
        "lang": "java"
      },
      "Java_Generic": {
        "ext": [
          "java"
        ],
        "label": "Java (Generic)",
        "lang": "java"
      },
      "C++": {
        "ext": [
          "cpp",
          "h"
        ],
        "label": "C++",
        "lang": "C++"
      }
    },
    "lang": "en",
    "build_JSAV": false,
    "suppress_todo": false,
    "assumes": "",
    "dispModComp": true,
    "glob_exer_options": {
      "JXOP-debug": "true"
    },
    "glob_ss_options": {
      "threshold": 1.0, 
      "points": 1.0, 
      "required": true
    }, 
    "glob_ff_options": {
      "threshold": 1.0, 
      "points": 1.0, 
      "required": true
    },
    "glob_ka_options": {
      "threshold": 5, 
      "points": 1.0, 
      "required": true
    }, 
    "glob_extr_options": {    }, 
    "glob_pe_options": {
      "threshold": 0.9, 
      "points": 2.0, 
      "required": true
    }, 
    "chapters": {
      "Introduction": {
        "PIExample/Echo_frame1": {}
      },
      "Mathematical Background": {
        "PIExample/mathematical": {},
        "PIExample/setRelations": {},
        "PIExample/proof":{},
        "PIExample/continuedMathProof":{},
        "PIExample/inductionProof": {},
        "PIExample/proofInduction": {},
        "PIExample/lastInductionProof": {},
        "PIExample/grammar": {}
  
      },
      "Finite Acceptors": {
        "PIExample/DFA":{},
        "PIExample/NFA":{},
        "PIExample/NFAtoDFAExample":{}
      },
      "Regular Languages": {
        "PIExample/RLRegularExpression":{},
        "PIExample/RLRegularGrammarExpression": {},
        "PIExample/RLExpressionRegular": {},
        "PIExample/RLConvertRLRE": {},
        "PIExample/RLNFAtoRECON":{},
        "PIExample/RLregularGrammar": {},
        "PIExample/RLNFAToRE": {},
        "PIExample/RLRightLinearRG": {},
        "PIExample/RLSTA": {},
        "PIExample/RLClosureConcept": {},
        "PIExample/RLClosureRegularLang": {},
        "PIExample/RLClosedUnder": {}
      },
      "Identifying Non-regular Languages":{
        "PIExample/INRL":{}
      },
      "Context-Free Grammars and Languages":{
        "PIExample/CFLAmb": {},
        "PIExample/CFLAmEx": {},
        "PIExample/CFLAmb2": {},
        "PIExample/CFLAmEx2": {}
      },
      "Pushdown Automata":{
        "PIExample/PDA": {}
      },
      "Properties of Context-free Languages":{},
      "Models of Computation":{
        "PIExample/TMGeneralModel":{},
        "PIExample/TMInterpreting":{},
        "PIExample/TMDecidableVSAcceptable":{},
        "PIExample/TMComplicatedMachine1":{},
        "PIExample/TMComplicatedMachine2":{},
        "PIExample/TMComplicatedMachine3":{}
  
      },
      "Parsing":{},
      "Limits to Computing": {
        "PIExample/PairToSortCONPI": {},
        "PIExample/LowerBound": {},
        "PIExample/TwoMulExample": {},
        "PIExample/TravelSalesman": {},
        "PIExample/KClique": {},
        "PIExample/SATProof": {},
        "PIExample/NPCCoping": {},
        "PIExample/UnsolveableProblems1": {},
        "PIExample/UnsolveableProblems2": {}
     }
    }
  }