762 search results - page 22 / 153 » Intercode Regular Languages |
129
click to vote
IMSCCS
2006
IEEE
15 years 9 months ago
2006
IEEE
The equivalence of non-deterministic finite automata (NFA1 ), deterministic finite automata (DFA), regular expressions (RE), and parallel finite automata (PFA) with augmented r...
110
Voted
ICLP
2007
Springer
15 years 10 months ago
2007
Springer
87
Voted
APLAS
2004
ACM
15 years 9 months ago
2004
ACM
116
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
We propose an algorithm that tests membership for regular expressions and show that the algorithm is correct. This algorithm is written in the style of a sequent proof system. The...