// 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 L M N R S T
states A C
action A ( A L l
action A T A N l
action A ) A T r
action A M *error* ) r
action A N A T r
action A L A N l
action A - C - r
action C N C N r
action C T C N r
action C ( *halt* 0 -
action C L *halt* 0 -
action C R *halt* 0 -
action C - *halt* 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