7 citations · 16 across the 8 of their papers we have counts for
Showing 2016Show all
3 papers · 1 filter
cs.FL2016
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…
math.GR2016★ 2 cited
Reducibility versus definability for pseudovarieties of semigroups
J. Almeida, O. Klíma
It is easy to show that a pseudovariety which is reducible with respect to an implicit signature for the equation can also be defined by -identities. We present severa…
math.GR2016★ 3 cited
The omega-inequality problem for concatenation hierarchies of star-free languages
J. Almeida, O. Klíma, M. Kunc
The problem considered in this paper is whether an inequality of omega-terms is valid in a given level of a concatenation hierarchy of star-free languages. The main result shows th…