Regular expressions into finite automata

2005 ◽  
pp. 87-98 ◽  
Author(s):  
Anne Brüggemann-Klein
Keyword(s):  
Finite Automata ◽  
Regular Expressions

scholarly journals Software Toolchain for Large-Scale RE-NFA Construction on FPGA

2009 ◽  
Vol 2009 ◽  
pp. 1-10 ◽  
Author(s):  
Yi-Hua E. Yang ◽  
Viktor K. Prasanna
Keyword(s):  
High Performance ◽  
Large Scale ◽  
Regular Expression ◽  
Finite Automata ◽  
Fixed Number ◽  
Regular Expressions ◽  
Pattern Complexity ◽  
Regular Expression Matching ◽  
Area Increase ◽  
Prototype Software

We present a software toolchain for constructing large-scaleregular expression matching(REM) on FPGA. The software automates the conversion of regular expressions into compact and high-performance nondeterministic finite automata (RE-NFA). Each RE-NFA is described as an RTL regular expression matching engine (REME) in VHDL for FPGA implementation. Assuming a fixed number of fan-out transitions per state, ann-statem-bytes-per-cycle RE-NFA can be constructed inO(n×m)time andO(n×m)memory by our software. A large number of RE-NFAs are placed onto a two-dimensionalstaged pipeline, allowing scalability to thousands of RE-NFAs with linear area increase and little clock rate penalty due to scaling. On a PC with a 2 GHz Athlon64 processor and 2 GB memory, our prototype software constructs hundreds of RE-NFAs used by Snort in less than 10 seconds. We also designed a benchmark generator which can produce RE-NFAs with configurable pattern complexity parameters, including state count, state fan-in, loop-back and feed-forward distances. Several regular expressions with various complexities are used to test the performance of our RE-NFA construction software.

scholarly journals Extended to multi-tilde–bar regular expressions and efficient finite automata constructions

2015 ◽  
Vol 33 ◽  
pp. 58-70
Author(s):  
Faissal Ouardi ◽  
Jean-Marc Champarnaud ◽  
Djelloul Ziadi
Keyword(s):  
Finite Automata ◽  
Regular Expressions

ANTIMIROV AND MOSSES'S REWRITE SYSTEM REVISITED

2009 ◽  
Vol 20 (04) ◽  
pp. 669-684 ◽  
Author(s):  
MARCO ALMEIDA ◽  
NELMA MOREIRA ◽  
ROGÉRIO REIS
Keyword(s):  
Finite Automata ◽  
Functional Approach ◽  
Regular Expressions ◽  
Average Case ◽  
Deterministic Finite Automata ◽  
Preliminary Results ◽  
Functional Version ◽  
Comparative Results ◽  
Rewrite System ◽  
Extended Regular Expressions

Antimirov and Mosses proposed a rewrite system for deciding the equivalence of two (extended) regular expressions. They argued that this method could lead to a better average-case algorithm than those based on the comparison of the equivalent minimal deterministic finite automata. In this paper we present a functional approach to that method, prove its correctness, and give some experimental comparative results. Besides an improved functional version of Antimirov and Mosses's algorithm, we present an alternative one using partial derivatives. Our preliminary results lead to the conclusion that, indeed, these methods are feasible and, most of the time, faster than the classical methods.

From regular expressions to finite automata∗

1999 ◽  
Vol 72 (4) ◽  
pp. 415-431 ◽  
Author(s):  
J.-M. Champarnaud ◽  
J.-L. Ponty ◽  
D. Ziadi
Keyword(s):  
Finite Automata ◽  
Regular Expressions

scholarly journals Regular Expressions with Lookahead

2021 ◽  
Vol 27 (4) ◽  
pp. 324-340
Author(s):  
Martin Berglund ◽  
Brink van der Merwe ◽  
Steyn van Litsenborgh
Keyword(s):  
Finite Automata ◽  
The State ◽  
Regular Expressions ◽  
Deterministic Finite Automata ◽  
State Complexity

This paper investigates regular expressions which in addition to the standard operators of union, concatenation, and Kleene star, have lookaheads. We show how to translate regular expressions with lookaheads (REwLA) to equivalent Boolean automata having at most 3 states more than the length of the REwLA. We also investigate the state complexity when translating REwLA to equivalent deterministic finite automata (DFA).

Finite Automata and Regular Expressions

2011 ◽  
pp. 232-269
Author(s):  
P. K. Srimani ◽  
S. F. B. Nasir
Keyword(s):  
Finite Automata ◽  
Regular Expressions
Sign in / Sign up

Export Citation Format

Share Document