共 50 条
- [33] USING SAT SOLVERS FOR SYNCHRONIZATION ISSUES IN NON-DETERMINISTIC AUTOMATA SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA, 2018, 15 : 1426 - 1442
- [34] SOME EXTENSIONS OF CONGRUENCE CONCEPT FOR INCOMPLETE NON-DETERMINISTIC AUTOMATA JOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICS, 1969, 288 (06): : 499 - &
- [35] ON PRIMENESS OF NON-DETERMINISTIC AUTOMATA ASSOCIATED WITH INPUT SEMIGROUP S TWMS JOURNAL OF PURE AND APPLIED MATHEMATICS, 2018, 9 (02): : 223 - 230
- [37] Designing a Bangla Parser using Non-Deterministic Push Down Automata 2017 INTERNATIONAL CONFERENCE ON ELECTRICAL, COMPUTER AND COMMUNICATION ENGINEERING (ECCE), 2017, : 571 - 576
- [38] 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 - +
- [39] The Necessary and Sufficient Condition of State Merging in Non-Deterministic Finite Automata PROCEEDINGS OF 2010 ASIA-PACIFIC YOUTH CONFERENCE ON COMMUNICATION, VOLS 1 AND 2, 2010, : 641 - 646
- [40] A Modal Logic for Non-deterministic Information Systems LOGIC AND ITS APPLICATIONS, ICLA 2015, 2015, 8923 : 119 - 131