// specify transistions: action state symbol state' write move
//    state = the current state of the FSM
//    symbol = the symbol read from the current cell
//    state' = state on the next cycle 
//    write = symbol to be written into the current cell
//    move = head movement ("l" = left, "r" = right, "-"=stay put)
//    old  R     new  W M
symbols ( ) 0 1 X L( LX R) RX
states A B
action A ( A L( l
action A ) A RX r
action A LX A RX r
action A RX A LX l
action A L( A LX l
action A - B 0 r
action B LX B 1 r
action B RX *halt* 0 -
action B L( *halt* 0 -
action B - *halt* - l

checkoff "6004.lcs.mit.edu/currentsemester/6004assignment.doit" "Lab #4" 1103605826

symbols ( ) 0 1

tape   test1 (
result1 test1 0

tape   test2 )
result1 test2 0

tape   test3 ( )
result1 test3 1

tape   test4 ) (
result1 test4 0

tape   test5 ( ) ( ) ( ( ( ) ) ( ) ) ) ( )
result1 test5 0

tape   test6 ( ) ( ( ( ) ( ( ( ) ) ( ) ) )
result1 test6 0

tape   test7 ( ) ( ( ) ( ( ( ) ) ( ) ) )
result1 test7 1