Definable transductions and weighted logics for texts
DOI10.1016/J.TCS.2009.09.040zbMATH Open1184.68322OpenAlexW2031074658MaRDI QIDQ844894FDOQ844894
Authors: Christian Mathissen 
Publication date: 5 February 2010
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2009.09.040
Recommendations
monadic second-order logicweighted automataweighted logicstextsbranching automataMSO-definable transductionsparenthesizing automatarecognizable series
Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Algebraic theory of languages and automata (68Q70)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Handbook of weighted automata
- Monadic second-order definable graph transductions: a survey
- Deciding Equivalence of Finite Tree Automata
- Title not available (Why is that?)
- On the definition of a family of automata
- Title not available (Why is that?)
- Series formelles et algèbres syntactiques
- On rational series and rational languages
- Weak Second‐Order Arithmetic and Finite Automata
- Title not available (Why is that?)
- Decision Problems of Finite Automata Design and Related Arithmetics
- Title not available (Why is that?)
- Generalized finite automata theory with an application to a decision problem of second-order logic
- Mathematical Foundations of Computer Science 2004
- Title not available (Why is that?)
- Theory of 2-structures. I: Clans, basic subclasses, and morphisms
- Tree acceptors and some of their applications
- Algebraic automata and context-free sets
- Automata, Languages and Programming
- Learning functions represented as multiplicity automata
- Weighted automata and weighted logics
- Weighted Muller tree automata and weighted logics
- Weighted logics for unranked tree automata
- Weighted Logics for Nested Words and Algebraic Formal Power Series
- Weighted Automata and Weighted Logics on Infinite Words
- Macro tree transducers, attribute grammars, and MSO definable tree translations.
- Rationality in algebras with a series operation
- Weighted Logics for Traces
- Definable Transductions and Weighted Logics for Texts
- Weighted Distributed Systems and Their Logics
- Weighted Picture Automata and Weighted Logics
- Basic notions of universal algebra for language theory and graph grammars
- Title not available (Why is that?)
- Formal series over sorted algebras
- Représentations matricielles des séries d'arbre reconnaissables
- Formal series of general algebras over a field and their syntactic algebras
- The rank of a formal tree power series
- Existential MSO over two successors is strictly weaker than over linear orders
- Effective construction of the syntactic algebra of a recognizable series on trees
- On some questions of rationality and decidability
- T-structures, T-functions, and texts
- Weighted Automata and Weighted Logics with Discounting
- RELATING TREE SERIES TRANSDUCERS AND WEIGHTED TREE AUTOMATA
- A comparison of tree transductions defined by monadic second order logic and by attribute grammars
- Branching automata with costs -- a way of reflecting parallelism in costs
- MSO definable string transductions and two-way finite-state transducers
- Learning Multiplicity Tree Automata
- Title not available (Why is that?)
- Context-free text grammars
- Monadic second-order definable text languages
- Title not available (Why is that?)
- Title not available (Why is that?)
- Regular binoid expressions and regular binoid languages.
- On transformations of formal power series.
- Free algebras for generalized automata and language theory
- Title not available (Why is that?)
- Łukasiewicz logic and weighted logics over MV-semirings
- Some remarks on recognizable treeseries
- Title not available (Why is that?)
- Title not available (Why is that?)
- Finitary compositions of two-way finite-state transductions
Cited In (5)
This page was built for publication: Definable transductions and weighted logics for texts
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q844894)
