RAIRO-Theor. Inf. Appl.
Volume 44, Number 3, July-September 2010
|Page(s)||339 - 361|
|Published online||28 July 2010|
Corrigendum to our paper: How Expressions Can Code for Automata
IGM-LabInfo (UMR 8049), Université Paris-Est Marne-la-Vallée, 77454 Marne-la-Vallée Cedex 2, France;
2 LTCI (UMR 5141), CNRS/Télécom ParisTech, 46 rue Barrault, 75634 Paris Cedex 13, France; firstname.lastname@example.org.
Accepted: 23 June 2010
In a previous paper, we have described the construction of an automaton from a rational expression which has the property that the automaton built from an expression which is itself computed from a co-deterministic automaton by the state elimination method is co-deterministic. It turned out that the definition on which the construction is based was inappropriate, and thus the proof of the property was flawed. We give here the correct definition of the broken derived terms of an expression which allow to define the automaton and the detailed full proof of the property.
Mathematics Subject Classification: 68Q45 / 68Q70
Key words: Finite automata / regular expression / derivation of expressions / quotient of automata.
© EDP Sciences, 2010
Current usage metrics show cumulative count of Article Views (full-text article views including HTML views, PDF and ePub downloads, according to the available data) and Abstracts Views on Vision4Press platform.
Data correspond to usage on the plateform after 2015. The current usage metrics is available 48-96 hours after online publication and is updated daily on week days.
Initial download of the metrics may take a while.