Skip to content

Instantly share code, notes, and snippets.

@claudiotam
claudiotam / tm-anbncn.wrap.yaml
Last active November 22, 2025 10:33
touring machine - verifica una stringa del tipo a^n b^n c^n - di battista
name: palindrome
source code: "# turing machine\r\n# syntax from: https://turingmachine.io/\r\n# runner from: https://turingmachine.io/\r\n\r\n# verifica una stringa del tipo a^n b^n c^n\r\n# di battista\r\n\r\ninput: '000111222'\r\nblank: 'ḇ'\r\nstart state: Q0\r\ntable:\r\n Q0:\r\n '0': {write: 'Z', R: Q1}\r\n 'U': {R: QV}\r\n\r\n Q1:\r\n '0': R\r\n '1': {write: 'U', R: Q2}\r\n 'U': R\r\n\r\n Q2:\r\n '1': R\r\n '2': {write: 'D', L: Q_rewind}\r\n 'D': R\r\n\r\n Q_rewind:\r\n '0': L\r\n '1': L\r\n 'Z': {R: Q0}\r\n 'U': L\r\n 'D': L\r\n\r\n QV:\r\n 'U': R\r\n 'D': R\r\n 'ḇ': {R: Q_finish}\r\n\r\n Q_finish:"
positions:
Q0: {x: 300.00, y: 180.00}
Q1: {x: 450.00, y: 180.00}
Q2: {x: 600.00, y: 180.00}
Q_rewind: {x: 600.00, y: 360.00}
QV: {x: 300.00, y: 360.00}
Q_finish: {x: 450.00, y: 360.00}