Algoritmo L* di Dana Angluin - Ipotesi incoerente

Question

È possibile per l'algoritmo L* di Dana Angluin che un'ipotesi è incoerente?

Quindi supponiamo che abbiamo una tabella di osservazione vicina per una lingua normale L. Ora dopo aver creato l'ipotesi avremo un controesempio W.

La domanda è: il controesempio può essere scelto nell'ipotesi, in modo da avere due volte lo stesso controesempio?

Sfortuna non sono riuscito a trovare alcuna lingua e controesempio in cui funzionerà.