Code Input

Parameters Input

Parsed Elements

Parsed Program

initial state: MR;
blank: '_';
transitions:
  (Add1, +) -> (MR, 1, R);
  (Add1, 0) -> (MR, 1, R);
  (Add1, 1) -> (Add1, 0, L);
  (Add1, _) -> (MR, 1, R);
  (Clean, +) -> (Clean, _, R);
  (Clean, 0) -> (Clean, _, R);
  (Clean, 1) -> (Clean, _, R);
  (ML, +) -> (Add1, +, L);
  (ML, 0) -> (ML, 0, L);
  (ML, 1) -> (ML, 1, L);
  (ML, _) -> (ML, _, L);
  (MR, +) -> (Sub1, +, R);
  (MR, 0) -> (MR, 0, R);
  (MR, 1) -> (MR, 1, R);
  (MR, _) -> (MR, _, R);
  (Sub1, 0) -> (Sub1, 0, R);
  (Sub1, 1) -> (Sub1, 1, R);
  (Sub1, _) -> (Sub2, _, L);
  (Sub2, +) -> (Clean, _, R);
  (Sub2, 0) -> (Sub2, 0, L);
  (Sub2, 1) -> (Sub3, 0, R);
  (Sub3, 0) -> (Sub3, 1, R);
  (Sub3, _) -> (ML, _, L)

Parsed Parameters

"1011+110"

Computation State

Ongoing Computation

State: Sub2
Band: _1110+01[1]_