Finiteness and Regularity in Semigroups and Formal Languages
By: by Aldo Luca, Stefano Varricchio
Contributors: Varricchio, Stefano
Series: Monographs in Theoretical Computer Science An EATCS Series, 1431-2654; Monographs in Theoretical Computer Science An EATCS Series
Publisher: Springer Berlin Heidelberg
Published: 1999
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] /
Number of pages: 240
ISBN-13: 9783642598494
Description: This is a rigorous and self-contained monograph on a central topic in theoretical computer science: finiteness conditions for semigroups and regularity conditions for formal languages. For the first time in book form, original results from the last ten years are presented, some previously unpublished, using combinatorial and algebraic methods. These are mainly based on combinatorics on words and especially on the theory of "unavoidable regularities" in free monoids. Many finiteness conditions are considered, formulated in terms of such concepts as: permutability, iteration, repetitivity, and chain conditions. These give rise to regularity conditions for formal languages. Non-algebraic regularity conditions are also investigated. A background in mathematics and computer science is required.