共 50 条
- [32] Twinning Automata and Regular Expressions for String Static Analysis VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2021, 2021, 12597 : 267 - 290
- [34] Efficient transformations from regular expressions to finite automata DEVELOPMENTS IN LANGUAGE THEORY, 2003, 2450 : 28 - 42
- [37] Parallel Algorithms for Constructing Fellow Automata of Regular Expressions FIRST INTERNATIONAL WORKSHOP ON DATABASE TECHNOLOGY AND APPLICATIONS, PROCEEDINGS, 2009, : 57 - +
- [38] AVERAGE SIZE OF AUTOMATA CONSTRUCTIONS FROM REGULAR EXPRESSIONS BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, 2015, European Association for Theoretical Computer Science (116): : 167 - 191