{
    "title": "Formal Languages textbook",
    "desc": "Programmed Instruction Formal Languages book for Summer 1",
    "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": "recursion",
    "dispModComp": true,
    "glob_exer_options": {
      "JXOP-debug": "true"
    },
    "glob_ss_options": {
      "threshold": 1.0, 
      "points": 0.0, 
      "required": true
    }, 
    "glob_ff_options": {
      "threshold": 1.0, 
      "points": 0.0, 
      "required": true
    },
    "glob_ka_options": {
      "threshold": 5, 
      "points": 1.0, 
      "required": true
    }, 
    "glob_extr_options": {
      "code-workout": {
        "points": 2.0
      }, 
      "points": 1.0
    }, 
    "glob_pe_options": {
      "threshold": 0.9, 
      "points": 2.0, 
      "required": true
    }, 
    "chapters": {
      "Preface": {
        "Intro": {}
      },
      "Introduction": {
        "PIExample/MajorConcepts": {},
        "PIExample/IntroductoryGrammarExercises":{
          "sheet1exercise5":{
            "points": 2.0
          },
          "sheet1exercise6":{
            "points": 2.0
          },
          "sheet1exercise7":{
            "points": 2.0
          }
        }
      },
      "Mathematical Background": {
        "PIExample/SetDefinitions": {},
        "PIExample/Relations": {},
        "PIExample/MathProof":{}
      },
      "Finite Acceptors": {
        "PIExample/DFA":{},
        "PIExample/DFAExercises":{
          "sheet1exercise1":{
            "points": 5.0
          },
          "sheet1exercise2":{
            "points": 5.0
          },
          "sheet1exercise3":{
            "points": 5.0
          },
          "sheet1exercise4":{
            "points": 5.0
          }
        },
        "PIExample/NFA":{},
        "PIExample/NFAExercises":{
          "NFAtoDFAExerciseEditor":{
            "points": 10.0
          },
          "sheet2exercise4":{
            "points": 10.0
          }
        },
        "PIExample/DFAMinimization":{},
        "PIExample/MinimizationExercises":{
            "DFAminimizationExerciseEditor":{
            "points": 10.0
            },"DFAminimizationExerciseEditor2":{
            "points": 10.0
            },
            "sheet2exercise3":{
            "points": 7.0
            }
        }
      }
    }
  }