Geometricity of Binary Regular Languages

• Published in: Language and Automata Theory and Applications pp. 178 - 189
• Main Authors: Champarnaud, Jean-Marc, Dubernard, Jean-Philippe, Jeanne, Hadrien
• Format: Book Chapter
• Language: English
• Published: Berlin, Heidelberg Springer Berlin Heidelberg
• Series: Lecture Notes in Computer Science
• Subjects: geometrical language; minimal automaton; regular language

Our aim is to present an efficient algorithm for checking whether a regular language is geometrical or not, based on specific properties of its minimal automaton. Geometrical languages have interesting theoretical properties and they provide an original model for off-line temporal validation of real...