Synchronizing relations on words

DOI10.1007/S00224-014-9584-2zbMATH Open1335.68118OpenAlexW2167483151MaRDI QIDQ905682FDOQ905682

Leonid Libkin, Diego Figueira

Publication date: 28 January 2016

Published in: Theory of Computing Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00224-014-9584-2

Recommendations

• Synchronizing relations on words
• Resynchronizing classes of word relations
• Synchronized rational relations of finite and infinite words
• scientific article; zbMATH DE number 7376069
• Left and Right Synchronous Relations

zbMATH Keywords

regularityrationalityrecognizabilityword relations

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Combinatorics on words (68R15)

Cites Work

• Elements of automata theory. Translated from the French by Reuben Thomas
• Title not available (Why is that?)
• Title not available (Why is that?)
• Visibly pushdown languages
• Title not available (Why is that?)
• On Context-Free Languages
• Title not available (Why is that?)
• Principles of the SPIN model checker. Foreword by Gerard J. Holzmann
• On Relations Defined by Generalized Finite Automata
• Automata for XML -- a survey
• Properties of Finite and Pushdown Transducers
• Title not available (Why is that?)
• Synchronized rational relations of finite and infinite words
• Title not available (Why is that?)
• CONCUR 2004 - Concurrency Theory
• The growth ratio of synchronous rational relations is unique
• Transductions des langages de Chomsky
• Title not available (Why is that?)
• Definable relations and first-order query languages over strings
• Title not available (Why is that?)
• Decision problems among the main subfamilies of rational relations
• Graph Logics with Rational Relations and the Generalized Intersection Problem
• Document spanners: a formal approach to information extraction
• Synchronizing Relations on Words
• Title not available (Why is that?)
• Algorithmic metatheorems for decidable LTL model checking over infinite systems

Cited In (8)

• Title not available (Why is that?)
• Closure properties of synchronized relations
• Resynchronized uniformization and definability problems for rational relations
• Resynchronizing Classes of Word Relations
• Title not available (Why is that?)
• Title not available (Why is that?)
• Similarity relations on words
• Title not available (Why is that?)

Uses Software

• SPIN
• jSpin

This page was built for publication: Synchronizing relations on words

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q905682)