762 search results - page 22 / 153 » Intercode Regular Languages |
163
click to vote
IMSCCS
2006
IEEE
16 years 11 days 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...
143
Voted
ICLP
2007
Springer
16 years 15 days ago
2007
Springer
117
Voted
APLAS
2004
ACM
15 years 11 months ago
2004
ACM
146
Voted
CORR
2010
Springer
15 years 6 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...