A turing machine that accepts the language of balanced parentheses.

0 x 1 x R
1 x h x S
1 a 2 a R
2 a 2 a R
2 b 3 x L
3 a 4 x R
4 a 5 x L
5 x 6 x L