7 citations · 16 across the 8 of their papers we have counts for
4 papers · 1 filter
On Varieties of Ordered Automata
Ondřej Klíma, Libor Polák
The Eilenberg correspondence relates varieties of regular languages to pseudovarieties of finite monoids. Various modifications of this correspondence have been found with more gen…
Syntactic Structures of Regular Languages
Ondřej Klíma, Libor Polák
We introduce here the notion of syntactic lattice algebra which is an analogy of the syntactic monoid and of the syntactic semiring. We present a unified approach to get those thre…
On Varieties of Automata Enriched with an Algebraic Structure (Extended Abstract)
Ondřej Klíma
Eilenberg correspondence, based on the concept of syntactic monoids, relates varieties of regular languages with pseudovarieties of finite monoids. Various modifications of this co…
Descriptional Complexity of the Languages KaL: Automata, Monoids and Varieties
Ondřej Klíma, Libor Polák
The first step when forming the polynomial hierarchies of languages is to consider languages of the form KaL where K and L are over a finite alphabet A and from a given variety V o…