blackmius

#!/usr/bin/python3
import asyncio
import ssl
import base64
import argparse
import sys
import types
from collections import OrderedDict
from urllib.parse import urlparse
from aioquic.asyncio import connect

blackmius

name: add 3
source code: |
  input: '1111'
  blank: ' '
  start state: start
  table:
    start:
      ' ': {write: '1', R: add1}
      '1': R
    add1:

blackmius

name: add x y
source code: |-
  input: '1111 1111'
  blank: ' '
  start state: start
  table:
    start:
      '1': {write: ' ', R: carry right x}
      ' '  : {L: done}
    carry right x:

blackmius

name: remove last symbol
source code: |
  input: 'babbaababbb'
  blank: ' '
  start state: right
  table:
    # scan to the rightmost symbol
    right:
      ['a','b']: R
      ' '  : {L: clear}