¨ Profile Trees for Buchi Word Automata, with Application to Determinization Seth Fogarty

First Page		Document Content
Date: 2013-07-18 21:05:22 Ω-automaton Tree Binary tree Mathematics Tree automaton Büchi automaton Automata theory Theoretical computer science Computer science		¨ Profile Trees for Buchi Word Automata, with Application to Determinization Seth Fogarty Add to Reading List Source URL: www.cs.rice.edu Download Document from Source Website File Size: 266,27 KB Share Document on Facebook