M
Michal Kunc
Researcher at Masaryk University
Publications - 27
Citations - 347
Michal Kunc is an academic researcher from Masaryk University. The author has contributed to research in topics: Regular language & Decidability. The author has an hindex of 9, co-authored 27 publications receiving 334 citations. Previous affiliations of Michal Kunc include University of Turku & Turku Centre for Computer Science.
Papers
More filters
Journal ArticleDOI
The Power of Commuting with Finite Sets of Words
TL;DR: A finite language L is constructed such that the largest language commuting with L is not recursively enumerable, which gives a negative answer to the question raised by Conway in 1971 and strongly disproves Conway's conjecture on context-freeness of maximal solutions of systems of semi-linear inequalities.
Book ChapterDOI
What do we know about language equations
TL;DR: An overview of recent developments in the area of language equations, with an emphasis on methods for dealing with non-classical types of equations whose theory has not been successfully developed already in the previous decades, and on results forming the current borderline of knowledge.
Journal ArticleDOI
Equational description of pseudovarieties of homomorphisms
TL;DR: This paper provides a mechanism of equational description of these pseudovarieties of homomorphisms onto finite monoids based on an appropriate generalization of the notion of implicit operations and shows that the resulting metric monoids of implicit Operations coincide with the standard ones.
Journal ArticleDOI
Regular solutions of language inequalities and well quasi-orders
TL;DR: By means of constructing suitable well quasi-orders of free monoids it is proved that all maximal solutions of certain systems of language inequalities are regular.
Book ChapterDOI
Describing periodicity in two-way deterministic finite automata using transformation semigroups
Michal Kunc,Alexander Okhotin +1 more
TL;DR: This characterization is then used to show that transforming an n-state 2D FA over a one-letter alphabet to an equivalent sweeping 2DFA requires exactly n+1 states, and transforming it to aOne-way automaton requires exactly max0≤l≤n G(n - l) + l + 1 states, where G(k) is the maximum order of a permutation of k elements.