About NSL
It is a small language like c, so we call it c--.
We can use it to descript the jump state.
------------------------------------------------------
the language contains the following grammar::
program-> sub_block | state_block | header | decls
sub_block -> sub + id + block
state_block->state + id + {stc|cts id : block} | block
header -> #define + exp | #include + "ID"
block->{decls stmts}
decls -> decls decl | e
decl -> unsigned id:number
stmts -> stmts stmt | e
stmt-> exp;
 |if (bool) block
 |if (bool) block else block
 |while(bool)block
 |do block while(bool);
-------------------------------------------------------