Back to Search
Start Over
Corrigendum to our paper : How Expressions can code for Automata
- Source :
- RAIRO-Theoretical Informatics and Applications (RAIRO: ITA), RAIRO-Theoretical Informatics and Applications (RAIRO: ITA), EDP Sciences, 2010, 44 (3), pp.339--361. ⟨10.1051/ita/2010019⟩
- Publication Year :
- 2010
- Publisher :
- HAL CCSD, 2010.
-
Abstract
- International audience; 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.
- Subjects :
- TheoryofComputation_COMPUTATIONBYABSTRACTDEVICES
Powerset construction
General Mathematics
010102 general mathematics
Continuous automaton
Timed automaton
Pushdown automaton
Büchi automaton
0102 computer and information sciences
16. Peace & justice
Nonlinear Sciences::Cellular Automata and Lattice Gases
01 natural sciences
Computer Science Applications
Algebra
TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES
010201 computation theory & mathematics
Deterministic automaton
[INFO.INFO-AU]Computer Science [cs]/Automatic Control Engineering
Probabilistic automaton
Two-way deterministic finite automaton
0101 mathematics
Algorithm
Software
Computer Science::Formal Languages and Automata Theory
Mathematics
Subjects
Details
- Language :
- English
- ISSN :
- 09883754 and 1290385X
- Database :
- OpenAIRE
- Journal :
- RAIRO-Theoretical Informatics and Applications (RAIRO: ITA), RAIRO-Theoretical Informatics and Applications (RAIRO: ITA), EDP Sciences, 2010, 44 (3), pp.339--361. ⟨10.1051/ita/2010019⟩
- Accession number :
- edsair.doi.dedup.....c465ad73a5b48f4f120a4f75b4794263