# Palindromtest
input: 'abaaabba'
blank: _
start state: start
table:
  start:
    a: {write: ȧ, R: rechts^a}
    b: {write: ḃ, R: rechts^b}
    [ȧ,ḃ,_]: {R: q_ja}
  rechts^a:
    [a,b]: R
    [ȧ,ḃ,_]: {L: q2^a}
  rechts^b:
    [a,b]: R
    [ȧ,ḃ,_]: {L: q2^b}
  q2^a:
    a: {write: ȧ, L: links}
    b: {R: q_nein}
    ȧ: {R: q_ja}
  q2^b:
    a: {R: q_nein}
    b: {write: ḃ, L: links}
    ḃ: {R: q_ja}
  links:
    [a,b]: L
    [ȧ,ḃ]: {R: start}
  q_ja:
  q_nein: