The word problem for omega-terms over the Trotter-Weil hierarchy
type: Item
instance of: scholarly article
title: The word problem for omega-terms over the Trotter-Weil hierarchy
zbMATH Open document ID: 1435.20065
author: Manfred Kufleitner
author: Jan Philipp Wächter
published in: Theory of Computing Systems
publication date: 2018-06-01T00:00:00Z
full work available at URL: https://dspace.lboro.ac.uk/2134/31950
Mathematics Subject Classification ID: 20M05
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 03D05
Mathematics Subject Classification ID: 03D40
Mathematics Subject Classification ID: 20M07
zbMATH DE Number: 6879947
zbMATH Keywords: regular language
zbMATH Keywords: finite monoid
zbMATH Keywords: pseudoidentity
zbMATH Keywords: omega-term
zbMATH Keywords: separation problem
zbMATH Keywords: Trotter-Weil hierarchy
zbMATH Keywords: FO2 alternation hierarchy
MaRDI profile type: Publication
OpenAlex ID: W2272735365
cites work: Implicit operations on finite \({\mathcal J}\)-trivial semigroups and a conjecture of I. Simon
cites work: Q4848740
cites work: Q4407421
cites work: An automata-theoretic approach to the word problem for \(\omega\)-terms over R
cites work: A SURVEY ON SMALL FRAGMENTS OF FIRST-ORDER LOGIC OVER FINITE WORDS
cites work: Q4132170
cites work: Varieties of Bands Revisited
cites work: On radical congruence systems
cites work: Ehrenfeucht-Fraisse Games on Omega-Terms
cites work: The Join Levels of the Trotter-Weil Hierarchy Are Decidable
cites work: On the lattice of sub-pseudovarieties of DA.
cites work: Q4649563
cites work: On logical hierarchies within \(\mathrm{FO}^{2}\)-definable languages
cites work: NORMAL FORMS FOR FREE APERIODIC SEMIGROUPS
cites work: The word problem for \(\omega \)-terms over DA
cites work: Q5317419
cites work: Q3769981
cites work: Separating Regular Languages by Piecewise Testable and Unambiguous Languages
cites work: On finite monoids having only trivial subgroups
cites work: Q4737911
cites work: Q4077455
cites work: Factorization forests of finite height
cites work: Q4407441
cites work: Q4542541
cites work: The lattice of pseudovarieties of idempotent semigroups and a non-regular analogue
cites work: Structure Theorem and Strict Alternation Hierarchy for FO^2 on Words
DOI: 10.1007/S00224-017-9763-Z
description: scientific article; zbMATH DE number 6879947