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 条

[21] INDARE - An indexed DAG of regular expressions for selecting position frequency matrices
Park, Meeyoung
Sanghvi, Jubin
Dinakarpandian, Deendayal
2007 IEEE INTERNATIONAL CONFERENCE ON BIOINFORMATICS AND BIOMEDICINE WORKSHOPS, PROCEEDINGS, 2007, : 191 - 196
[22] GENERATION OF REGULAR EXPRESSIONS FOR AUTOMATA BY INTEGRAL OF REGULAR EXPRESSIONS
SMITH, LW
YAU, SS
COMPUTER JOURNAL, 1972, 15 (03): : 222 - &
[23] Regular expressions
Becker, P
DR DOBBS JOURNAL, 2006, 31 (05): : 52 - +
[24] Regular expressions
LeFebvre, William
Performance Computing/Unix Review, 1999, 17 (11): : 49 - 51
[25] Regular expressions
Scientific Computing and Instrumentation, 2000, 17 (08):
[26] On the intersection of XPath expressions
Hammerschmidt, BC
Kempa, M
Linnemann, V
9TH INTERNATIONAL DATABASE ENGINEERING & APPLICATION SYMPOSIUM, PROCEEDINGS, 2005, : 49 - 57
[27] ON OPERATION OF AN AUTOMATON CONTROLLING TRAFFIC AT AN INTERSECTION
NEIMARK, YI
FEDOTKIN, MA
AUTOMATION AND REMOTE CONTROL, 1966, 27 (03) : 415 - &
[28] A New Finite Automata Construction Using a Prefix and a Suffix of Regular Expressions
Yamamoto, Hiroaki
Fujiwara, Hiroshi
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2021, E104D (03): : 381 - 388
[29] Mean-Payoff Automaton Expressions
Chatterjee, Krishnendu
Doyen, Laurent
Edelsbrunner, Herbert
Henzinger, Thomas A.
Rannou, Philippe
CONCUR 2010 - CONCURRENCY THEORY, 2010, 6269 : 269 - 283
[30] Regular Transducer Expressions for Regular Transformations
Dave, Vrunda
Gastin, Paul
Krishna, Shankara Narayanan
LICS'18: PROCEEDINGS OF THE 33RD ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, 2018, : 315 - 324

← 1 2 3 4 5 →