Talk:Glushkov's construction algorithm

This article was copy edited by Dhtwiki, a member of the Guild of Copy Editors, on 16 November 2016.Guild of Copy EditorsWikipedia:WikiProject Guild of Copy EditorsTemplate:WikiProject Guild of Copy EditorsGuild of Copy Editors

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)[reply]

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)[reply]