共 50 条
- [21] Language containment of non-deterministic omega-automata CORRECT HARDWARE DESIGN AND VERIFICATION METHODS, 1995, 987 : 261 - 277
- [23] VATA: A Library for Efficient Manipulation of Non-deterministic Tree Automata TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2012, 2012, 7214 : 79 - 94
- [25] USING SAT SOLVERS FOR SYNCHRONIZATION ISSUES IN NON-DETERMINISTIC AUTOMATA SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA, 2018, 15 : 1426 - 1442
- [26] SOME EXTENSIONS OF CONGRUENCE CONCEPT FOR INCOMPLETE NON-DETERMINISTIC AUTOMATA JOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICS, 1969, 288 (06): : 499 - &
- [27] ON PRIMENESS OF NON-DETERMINISTIC AUTOMATA ASSOCIATED WITH INPUT SEMIGROUP S TWMS JOURNAL OF PURE AND APPLIED MATHEMATICS, 2018, 9 (02): : 223 - 230
- [29] Designing a Bangla Parser using Non-Deterministic Push Down Automata 2017 INTERNATIONAL CONFERENCE ON ELECTRICAL, COMPUTER AND COMMUNICATION ENGINEERING (ECCE), 2017, : 571 - 576
- [30] The Power of Non-deterministic Reassignment in Infinite-Alphabet Pushdown Automata LANGUAGES: FROM FORMAL TO NATURAL: ESSAYS DEDICATED TO NISSIM FRANCEZ ON THE OCCASION OF HIS 65TH BIRTHDAY, 2009, 5533 : 107 - +