Finite-State Automata on Infinite Inputs

DOI10.1142/9789814271059_0002zbMath1256.68108OpenAlexW187068044MaRDI QIDQ4907854

Madhavan Mukund

Publication date: 26 February 2013

Published in: Modern Applications of Automata Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/9789814271059_0002

zbMATH Keywords

automatic verificationfinite state automatainfinite inputs

Mathematics Subject Classification ID

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

Related Items (4)

Unnamed Item ⋮ Intersection of \(-\omega \)-regular expressions ⋮ Unnamed Item ⋮ A hierarchical and modular control architecture for sequential behaviours

This page was built for publication: Finite-State Automata on Infinite Inputs