[I] Operations#sameLanguage has true negatives? [lucene]

[via GitHub]

jpountz opened a new issue, #13709:
URL: https://github.com/apache/lucene/issues/13709

   ### Description
   
   The following test fails, even though both automata accept the same language 
and are determinized. Looking at the implementation, it looks like it may 
assume that both automata are not only determinized but also minimal?
   
   ```java
     public void testSameLanguage() {
       // automaton that accepts [ab]* with 2 states
       Automaton a = new Automaton();
       int state0 = a.createState();
       int state1 = a.createState();
       a.setAccept(state0, true);
       a.setAccept(state1, true);
       a.addTransition(state0, state1, 'a');
       a.addTransition(state1, state0, 'b');
   
       // automaton that accepts [ab]* with a single state
       Automaton b = new Automaton();
       state0 = b.createState();
       b.setAccept(state0, true);
       b.addTransition(state0, state0, 'a');
       b.addTransition(state0, state0, 'b');
       
       assertTrue(Operations.sameLanguage(a, b));
     }
   ```
   
   Here are what these two automata look like:
   a
   
![automaton](https://github.com/user-attachments/assets/a150ae74-7393-4516-90da-355c9cc8a472)
   b
   
![automaton2](https://github.com/user-attachments/assets/159d018a-052d-435f-bcef-96650272c714)
   
   
   ### Version and environment details
   
   _No response_


-- 
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

To unsubscribe, e-mail: issues-unsubscr...@lucene.apache.org.apache.org

For queries about this service, please contact Infrastructure at:
us...@infra.apache.org


---------------------------------------------------------------------
To unsubscribe, e-mail: issues-unsubscr...@lucene.apache.org
For additional commands, e-mail: issues-h...@lucene.apache.org