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_{1}b_{3}b_{4}a_{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)