KLÍMA, Ondřej. Piecewise Testable Languages via Combinatorics on Words. Discrete Mathematics. 2011, vol. 311, No 20, p. 2124-2127. ISSN 0012-365X. Available from: https://dx.doi.org/10.1016/j.disc.2011.06.013.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name Piecewise Testable Languages via Combinatorics on Words
Authors KLÍMA, Ondřej (203 Czech Republic, guarantor, belonging to the institution).
Edition Discrete Mathematics, 2011, 0012-365X.
Other information
Original language English
Type of outcome Article in a journal
Field of Study 10101 Pure mathematics
Country of publisher Netherlands
Confidentiality degree is not subject to a state or trade secret
Impact factor Impact factor: 0.519
RIV identification code RIV/00216224:14310/11:00050145
Organization unit Faculty of Science
Doi http://dx.doi.org/10.1016/j.disc.2011.06.013
UT WoS 000295202100004
Keywords in English Piecewise testable languages; Syntactic congruence
Tags AKR, rivok
Tags International impact, Reviewed
Changed by Changed by: doc. Mgr. Ondřej Klíma, Ph.D., učo 3868. Changed: 7/12/2011 10:25.
Abstract
A regular language L over an alphabet A is called piecewise testable if it is a finite Boolean combination of languages of the form B a1 B a2 B ... B al B, where a1,... ,al are letters from A and B is the set of all words over A. An effective characterization of piecewise testable languages was given in 1972 by Simon who proved that a language L is piecewise testable if and only if its syntactic monoid is J-trivial. Nowadays, there exist several proofs of this result based on various methods from algebraic theory of regular languages. Our contribution adds a new purely combinatorial proof.
Links
GA201/09/1313, research and development projectName: Algebraické metody v teorii automatů a formálních jazyků II
Investor: Czech Science Foundation, Algebraic Methods in Automata and Formal Language Theory II
MSM0021622409, plan (intention)Name: Matematické struktury a jejich fyzikální aplikace
Investor: Ministry of Education, Youth and Sports of the CR, Mathematical structures and their physical applications
1M0545, research and development projectName: Institut Teoretické Informatiky
Investor: Ministry of Education, Youth and Sports of the CR, Institute for Theoretical Computer Science
PrintDisplayed: 11/10/2024 02:35