Locally trivial categories and unambiguous concatenation

DOI10.1016/0022-4049(88)90097-7zbMath0645.20046OpenAlexW1976025900MaRDI QIDQ1103056

Denis Thérien, Howard Straubing, Jean-Eric Pin

Publication date: 1988

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-4049(88)90097-7

zbMATH Keywords

finite categoriesdot-depth hierarchysyntactic monoidsvariety of languagesunambiguous concatenation product of recognizable languages

Mathematics Subject Classification ID

Semigroups in automata theory, linguistics, etc. (20M35) Connections of semigroups with homological algebra and category theory (20M50)

Related Items (30)

On the Pin-Thérien expansion of idempotent monoids ⋮ On Decidability of Intermediate Levels of Concatenation Hierarchies ⋮ Polynomial closure and unambiguous product ⋮ Polynomial closure and unambiguous product ⋮ Semigroups and languages of dot-depth two ⋮ Two algebraic approaches to variants of the concatenation product ⋮ Varieties of finite categories ⋮ Polynomials, fragments of temporal logic and the variety DA over traces ⋮ How many times do you need to go back to the future in unary temporal logic? ⋮ Products of languages with counter ⋮ A SURVEY ON SMALL FRAGMENTS OF FIRST-ORDER LOGIC OVER FINITE WORDS ⋮ Catégories et langages de dot-depth un ⋮ Separating Without Any Ambiguity. ⋮ Two-sided wreath product of categories ⋮ A STRUCTURAL APPROACH TO THE LOCALITY OF PSEUDOVARIETIES OF THE FORM LH ⓜ V ⋮ Theme and Variations on the Concatenation Product ⋮ \(NC^ 1\): The automata-theoretic viewpoint ⋮ MONOIDS AND COMPUTATIONS ⋮ Some results on the dot-depth hierarchy ⋮ Fragments of first-order logic over infinite words ⋮ SOME OPERATORS THAT PRESERVE THE LOCALITY OF A PSEUDOVARIETY OF SEMIGROUPS ⋮ Space Complexity of Reachability Testing in Labelled Graphs ⋮ Categories as algebra: An essential ingredient in the theory of monoids ⋮ Representation theory of finite semigroups, semigroup radicals and formal language theory ⋮ THE DOT-DEPTH AND THE POLYNOMIAL HIERARCHIES CORRESPOND ON THE DELTA LEVELS ⋮ On All Things Star-Free ⋮ Space complexity of reachability testing in labelled graphs ⋮ Varieties ⋮ Bases for pseudovarieties closed under bideterministic product ⋮ Omega-rational expressions with bounded synchronization delay

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Categories as algebra: An essential ingredient in the theory of monoids
• Classifying regular events in symbolic logic
• Sur le produit de concatenation non ambigu
• Variétés de langages et opérations
• Aperiodic homomorphisms and the concatenation product of recognizable sets
• Decomposition techniques for finite semigroups, using categories. II
• Finite semigroup varieties of the form V*D
• A homomorphism theorem for finite semigroups

This page was built for publication: Locally trivial categories and unambiguous concatenation