Generalized nondeterministic finite automaton
Results: 5
# | Item |
---|---|
1 | MCS 441 – Theory of Computation I Spring 2016 Problem Set 2 Lev Reyzin Due: at the beginning of classAdd to Reading ListSource URL: homepages.math.uic.eduLanguage: English - Date: 2016-02-03 00:14:14 |
2 | Reducing the size of NFAs by using equivalences and preorders L UCIAN I LIE ROBERTO S OLIS -O BAAdd to Reading ListSource URL: www.cs.ucr.eduLanguage: English - Date: 2005-07-08 16:23:57 |
3 | Sequential Synthesis with Co-Büchi Specifications Guoqiang Wang, Alan Mishchenko, Robert Brayton, and Alberto Sangiovanni-Vincentelli EECS Dept. University of California Berkeley, California, 94720, USA {geraldw, alanmiAdd to Reading ListSource URL: www.bvsrc.orgLanguage: English - Date: 2006-10-02 15:04:33 |
4 | PDF DocumentAdd to Reading ListSource URL: www.cs.sunysb.eduLanguage: English - Date: 2008-03-10 13:35:50 |
5 | PDF DocumentAdd to Reading ListSource URL: cseweb.ucsd.eduLanguage: English - Date: 2007-12-07 14:46:59 |