ContentsFoundations to FrontierBezhig

integration_code/starters/dfa_compare.py

All lab code. Download this file.

# Exercise scaffold. Reference implementation is in a separate directory.
"""W07: a complete DFA comparison, not an arbitrary program-equivalence solver."""
from collections import deque

def validate(machine, alphabet):
    raise NotImplementedError('Implement this contract from the book.')

def distinguishing_word(left, right, alphabet=('a', 'b')):
    raise NotImplementedError('Implement this contract from the book.')

def accepts(machine, word):
    raise NotImplementedError('Implement this contract from the book.')