Operator Precedence ω-Languages

DOI10.1007/978-3-642-38771-5_35zbMath1381.68130arXiv1301.2476OpenAlexW239987655MaRDI QIDQ5300857

Federica Panella, Dino Mandrioli, Matteo Pradella, Violetta Lonati

Publication date: 28 June 2013

Published in: Developments in Language Theory (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1301.2476

zbMATH Keywords

closure propertiespushdown automatainfinite-state model checkingoperator precedence languages\(\omega \)-languages

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

First-Order Logic Definability of Free Languages ⋮ Operator Precedence Languages: Their Automata-Theoretic and Logic Characterization

This page was built for publication: Operator Precedence ω-Languages