'q_#': {
        '0': '->',
        '1': '->',
        '#': ('q_decL', '<-'),
        '[]': False,
    },
    'q_decL': {
        '0': '<-',
        '1': ('0', 'q_decR', '->'),
        '#': False,
        '[]': 'q_checkbin',
    },
    'q_decR': {
        '0': ('1', 'q_decR', '->'),
        '1': False,
        '#': ('q_B', '->'),
        '[]': False,
    },
    'q_0': {
        '0': ('#', 'q_B', '<-'),
        '1': False,
        '#': '->',
        '[]': False,
    },
    'q_B': {
        '0': '<-',
        '1': '<-',
        '#': '<-',
        '[]': '->',
    },
    'q_checkbin': {
        '0': '->',
        '1': False,
        '#': ('q_checkunary', '->'),
        '[]': False,
    },
    'q_checkunary': {
        '0': False,
        '1': False,
        '#': '->',
        '[]': True,
    },