The genus of regular languages

International audienceThe article defines and studies the genus of finite state deterministic automata (FSA) and regular languages. Indeed, a FSA can be seen as a graph for which the notion of genus arises. At the same time, a FSA has a semantics via its underlying language. It is then natural to make a connection between the languages and the notion of genus. After we introduce and justify the the notion of the genus for regular languages, the following questions are addressed. First, depending on the size of the alphabet, we provide upper and lower bounds on the genus of regular languages : we show that under a relatively generic condition on the alphabet and the geometry of the automata, the genus grows at least linearly in terms of the size of the automata. Second, we show that the topological cost of the powerset determinization procedure is exponential. Third, we prove that the notion of minimization is orthogonal to the notion of genus. Fourth, we build regular languages of arbitrary large genus: the notion of genus defines a proper hierarchy of regular languages

THE GENUS OF REGULAR LANGUAGES AND DIRECTED GRAPH EMULATORS

The article continues our study of the genus of a regular language L, defined as the minimal genus among all genera of all finite deterministic automata recognizing L. Here we define and study two closely related tools on a directed graph: directed emulators and automatic relations. A directed emulator morphism essentially encapsulates at the graph-theoretic level an epimorphism onto the minimal deterministic automaton. An automatic relation is the graph-theoretic version of the Myhill-Nerode relation. We show that an automatic relation determines a directed emulator morphism and respectively, a directed emulator morphism determines an automatic relation up to isomorphism. Consider the set S of all directed emulators of the underlying directed graph of the minimal deterministic automaton for L. We prove that the genus of L is min G∈S g(G). We also consider the more restrictive notion of directed cover and prove that the genus of L is reached in the class of directed covers of the underlying directed graph of the minimal deterministic automaton for L. This stands in sharp contrast to undirected emulators and undirected covers which we also consider. Finally we prove that if the problem of determining the minimal genus of a directed emulator of a directed graph has a solution then the problem of determining the minimal genus of an undirected emulator of an undirected graph has a solution

DECIDABILITY OF REGULAR LANGUAGE GENUS COMPUTATION

International audienceThe article continues the study of the genus of regular languages that the authors introduced in a 2012 paper. Let L be a regular language. In order to understand the genus g(L) of L, we introduce the topological size of |L|top to be the minimal size of all finite deterministic automata of genus g(L) computing L. We show that the minimal finite deterministic automaton of a regular language can be arbitrary far away from a finite deterministic automaton realizing the minimal genus and computing the same language, both in terms of the difference of genera and in terms of the difference in size. We show that the topological size |L|top can grow at least exponentially in size |L|. We conjecture the genus of every regular language to be computable. This conjecture implies in particular that the planarity of a regular language is decidable, a question asked in 1978 by R.V. Book and A.K. Chandra. We prove here the conjecture for a fairly generic class of regular languages having no short cycles