Profile trees for Büchi word automata, with application to determinization
From MaRDI portal
Publication:897653
DOI10.1016/j.ic.2014.12.021zbMath1336.68155arXiv1307.4471MaRDI QIDQ897653
Thomas Wilke, Moshe Y. Vardi, Orna Kupferman, Seth Fogarty
Publication date: 7 December 2015
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1307.4471
68Q45: Formal languages and automata