Minimizing Deterministic Lattice Automata

DOI10.1007/978-3-642-19805-2_14zbMath1326.68194OpenAlexW1545040203MaRDI QIDQ5892494

Orna Kupferman, Shulamit Halamish

Publication date: 19 May 2011

Published in: Foundations of Software Science and Computational Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-19805-2_14

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Algebraic theory of languages and automata (68Q70)

Related Items

Nondeterministic Moore automata and Brzozowski's minimization algorithm, Synthesis from component libraries with costs