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 R
3 a 3 a R
3 b 3 b R
3 x 4 x L
4 x 6 x L
4 a 4a x L
4 b 4b x L
4a a 4aa x L
4a b 4ba x L
4b a 4ab x L
4b b 4bb x L
4aa a 4aa a L
4aa b 4ba a L
4ab a 4aa b L
4ab b 4ba b L
4ba a 4ab a L
4ba b 4bb a L
4bb a 4ab b L
4bb b 4bb b L
4aa x 5a a L
4ab x 5a b L
4ba x 5b a L
4bb x 5b b L
5a a 6 a L
5b a 6 b L
6 a 6 a L
6 x 1 x R