Q = {START, SEENB, SEEN$, MATCHED, ACCEPT, REJECT}
Σ = {b, $}
Γ = {b, $}
δ = {(START, b) -> (SEENB, b, R),
(START, $) -> (SEEN$, $, R),
(SEENB, $) -> (q, $, R),
(SEENB, b) -> (MATCHED, b, L),
(SEEN$, b) -> (START, b, R),
(MATCHED, b) -> (q, b, L),
(MATCHED, $) -> (q, $, R)}
q0 = START
qaccept = ACCEPT
qreject = REJECT