Turing Machine for anbn Checking (n > 0)

s1

b/y, L

s2

s4

y/y, R

a

b

s1

a

s1

s3

HN

HY

o/o, L

b/b, R

b/b, R

a/x, R

o/o, L

a/a, R

y/y, R

a/a, L

y/y, L

x/x, R

y/y, R

Previous slide

Next slide

Back to first slide

View graphic version