共 50 条
- [31] Beyond ωBS-regular Languages: ωT-regular Expressions and Counter-Check Automata ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (256): : 223 - 237
- [32] GENERATION OF REGULAR EXPRESSIONS FOR AUTOMATA BY INTEGRAL OF REGULAR EXPRESSIONS COMPUTER JOURNAL, 1972, 15 (03): : 222 - &
- [34] LANGAGE: A maple package for automaton characterization of regular languages AUTOMATA IMPLEMENTATION, 1998, 1436 : 46 - 55
- [35] A Logical Characterization of Timed (non-)Regular Languages MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2014, PT I, 2014, 8634 : 75 - 86
- [40] Partial Derivatives for Context-Free Languages From μ-Regular Expressions to Pushdown Automata FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2017), 2017, 10203 : 248 - 264