Talk:Glushkov's construction algorithm

Untitled
According to the history page they were 17 reverts on this page. I checked some of them, they made no sens. What happens with this page ? Is this current ? I never saw it on another page I created. (I know I don't own the page I created, but I like to follow their evolution). Arthur MILCHIOR (talk) 03:31, 25 August 2016 (UTC)

Construction Step 3
Step 3 of the construction should read:
 * $$L'=(PB^*\cap B^*D) \setminus B^*(B^2\setminus F)B^* \cup \Lambda(e')$$

The current formula $$L'=(PB^* \cap B^*D \cap B^*FB^*) \cup \Lambda(e')$$ allows $$a_1b_3b_4a_5$$ in the example, which is wrong and disagrees with the text.

When the text is corrected, we might want to then change the construction note to: "The construction of the automaton can be done using classical construction operations: concatenation, intersection, subtraction and iterating an automaton", but I'm not sure that intersection and subtraction exist. Therefore, I have not yet changed the formula. --RichardW57m (talk) 14:50, 28 April 2022 (UTC)

Corrected the formula, and deleted the construction note. One would just draw a diagram from the state transition table, or better the calculated sets. The text deleted is as in the French original, so it also makes little sense there. --RichardW57 (talk) 20:11, 29 April 2022 (UTC)