Position Automaton Construction for Regular Expressions with Intersection

被引：2

作者：

Broda, Sabine ^{[1
]}

Machiavelo, Antonio ^{[1
]}

Moreira, Nelma ^{[1
]}

Reis, Rogerio ^{[1
]}

机构：

[1] Univ Porto, Fac Ciencias, CMUP, Oporto, Portugal

来源：

DEVELOPMENTS IN LANGUAGE THEORY, DLT 2016 | 2016年 / 9840卷

关键词：

PARTIAL DERIVATIVES;

D O I：

10.1007/978-3-662-53132-7_5

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Positions and derivatives are two essential notions in the conversion methods from regular expressions to equivalent finite automata. Partial derivative based methods have recently been extended to regular expressions with intersection. In this paper, we present a position automaton construction for those expressions. This construction generalizes the notion of position making it compatible with intersection. The resulting automaton is homogeneous and has the partial derivative automaton as its quotient.

引用

页码：51 / 63

页数：13

共 50 条

[31] Regular transducer expressions for regular transformations
Dave, Vrunda
Gastin, Paul
Krishna, Shankara Narayanan
INFORMATION AND COMPUTATION, 2022, 282
[32] The basis automaton for the given regular language
A. A. Vakhitova
Korean Journal of Computational & Applied Mathematics, 1999, 6 (3) : 617 - 624
[33] Synchronized regular expressions
Della Penna, G
Intrigila, B
Tronci, E
Zilli, MV
ACTA INFORMATICA, 2003, 39 (01) : 31 - 70
[34] On the size of the universal automaton of a regular language
Lombardy, Sylvain
Stacs 2007, Proceedings, 2007, 4393 : 85 - 96
[35] Forkable Regular Expressions
Sulzmann, Martin
Thiemann, Peter
LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS, LATA 2016, 2016, 9618 : 194 - 206
[36] Regular Expressions on the Web
Hodovan, Renata
Herczeg, Zoltan
Kiss, Akos
12TH IEEE INTERNATIONAL SYMPOSIUM ON WEB SYSTEMS EVOLUTION (WSE 2010), 2010, : 29 - 32
[37] Timed regular expressions
Asarin, E
Caspi, P
Maler, O
JOURNAL OF THE ACM, 2002, 49 (02) : 172 - 206
[38] A Play on Regular Expressions
Fischer, Sebastian
Huch, Frank
Wilke, Thomas
ICFP 2010: PROCEEDINGS OF THE 2010 ACM SIGPLAN INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING, 2010, : 357 - 368
[39] DERIVATIVES OF REGULAR EXPRESSIONS
BRZOZOWSKI, JA
JOURNAL OF THE ACM, 1964, 11 (04) : 481 - &
[40] Explanations for Regular Expressions
Erwig, Martin
Gopinath, Rahul
FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2012, 2012, 7212 : 394 - 408

← 1 2 3 4 5 →