Skip to main content

module demo::lang::turing::l1::ast::Turing

rascal-0.40.17

Usage​

import demo::lang::turing::l1::ast::Turing;

data Program​

data Program  
     = program(list[Statement] statements)
     ;

data Statement​

data Statement  
     = jumpAlways(int line)
     | jumpSet(int line)
     | jumpUnset(int line)
     | writeSet()
     | writeUnset()
     | moveForward()
     | moveBackward()
     ;