Epsilon machines (crutchfield)