On-the-fly Black-Box Probably Approximately Correct Checking...
for every row in the bottom part of the table, there is an equal row in the top part.\(OT_i\)is consistent if for every pair of rowsu,vin the top part, for every\(\sigma \in \varSigma \), if\(OT_i[u] = OT_i[v]\)then\(OT_i...