{
    "initial" : "start",
    "accept"  : ["accept"],
    "reject" : ["reject"],
    
    "transition" : {
	"start": {
	    "b": ["reject", "b", 0],
	    "a": ["goto_endtape", "_", 1],
	    "_": ["accept", "_", 0]
	},

	"goto_endtape": {
	    "a": ["goto_endtape", "a", 1],
	    "b": ["goto_endtape", "b", 1],
	    "_": ["checkb", "_", -1]
	},

	"checkb": {
	    "a": ["reject", "a", 0],
	    "b": ["goto_start", "_", -1],
	    "_": ["reject", "_", 0]
	},

	"goto_start": {
	    "a": ["goto_start", "a", -1],
	    "b": ["goto_start", "b", -1],
	    "_": ["start", "_", 1]	    
	}
	    
    }
}