Theory of linear and integer programming
Theory of linear and integer programming
Finite automata and unary languages
Theoretical Computer Science
Counting strongly connected finite automata
Graph theory with applications to algorithms and computer science
Journal of the ACM (JACM)
Automata, Languages, and Machines
Automata, Languages, and Machines
WCET free time analysis of hard real-time systems on multiprocessors: A regular language-based model
Theoretical Computer Science
Reducing nondeterministic finite automata with SAT solvers
FSMNLP'09 Proceedings of the 8th international conference on Finite-state methods and natural language processing
Regular geometrical languages and tiling the plane
CIAA'10 Proceedings of the 15th international conference on Implementation and application of automata
Geometricity of binary regular languages
LATA'10 Proceedings of the 4th international conference on Language and Automata Theory and Applications
Hi-index | 5.23 |
Given an arbitrarily large alphabet @S, we consider the family of regular languages over @S for which the deterministic minimal automaton has a strongly connected state diagram. We present a new method for checking whether such a language is semi-geometrical or not and whether it is geometrical or not. This method makes use of the enumeration of the simple cycles of the state diagram. It is based on the construction of systems of linear Diophantine equations, where the coefficients are deduced from the set of simple cycles.