Weighted operator precedence languages

DOI10.4230/LIPICS.MFCS.2017.31zbMATH Open1441.68121OpenAlexW2593772604MaRDI QIDQ5111245FDOQ5111245

Authors: Stefan Dück, Dino Mandrioli, Matteo Pradella, Manfred Droste 

Publication date: 26 May 2020

Full work available at URL: https://dblp.uni-trier.de/db/conf/mfcs/mfcs2017.html#DrosteDMP17

Recommendations

• Weighted operator precedence languages
• Operator precedence \(\omega \)-languages
• Operator precedence languages: their automata-theoretic and logic characterization
• Higher-order operator precedence languages
• Beyond operator-precedence grammars and languages

zbMATH Keywords

quantitative logicquantitative automatavisibly pushdown languagesinput-driven languagesoperator precedence languages

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Handbook of weighted automata
• Adding nesting structure to words
• On the definition of a family of automata
• Title not available (Why is that?)
• Parenthesis Grammars
• Weak Second‐Order Arithmetic and Finite Automata
• Title not available (Why is that?)
• Decision Problems of Finite Automata Design and Related Arithmetics
• Semantics of context-free languages
• Title not available (Why is that?)
• Weighted versus Probabilistic Logics
• Characterizing derivation trees of context-free grammars through a generalization of finite automata theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Parsing Techniques
• First-order logics: some characterizations and closure properties
• Weighted automata and weighted MSO logics for average and long-time behaviors
• Weighted automata and weighted logics
• Weighted nested word automata and logics over strong bimonoids
• Weighted Logics for Nested Words and Algebraic Formal Power Series
• Weighted tree automata and weighted logics
• Title not available (Why is that?)
• Transductions des langages de Chomsky
• Syntactic Analysis and Operator Precedence
• Operator precedence and the visibly pushdown property
• Operator Precedence Languages: Their Automata-Theoretic and Logic Characterization
• Colored Nested Words
• Weighted unranked tree automata over tree valuation monoids and their characterization by weighted logics

Cited In (4)

• Operator precedence \(\omega \)-languages
• Weighted operator precedence languages
• Weighted automata
• Generalizing input-driven languages: theoretical and practical benefits

This page was built for publication: Weighted operator precedence languages

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