Text this: A polynomial time algorithm to infer sequential machines.