Publication:5275381

DOI10.4230/LIPIcs.FSTTCS.2015.380zbMath1366.68131MaRDI QIDQ5275381

Orna Kupferman, Denis Kuperberg, Shaull Almagor

Publication date: 13 July 2017

zbMATH Keywords

complexity; automata; minimization; regular languages; sensing; omega-regular languages

Mathematics Subject Classification ID

68Q45: Formal languages and automata

68Q60: Specification and verification (program logics, model checking, etc.)

68Q17: Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.)