762 search results - page 22 / 153 » Intercode Regular Languages |
IMSCCS
2006
IEEE
14 years 1 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...
ICLP
2007
Springer
14 years 1 months ago
2007
Springer
LACL
2005
Springer
14 years 27 days ago
2005
Springer
APLAS
2004
ACM
14 years 25 days ago
2004
ACM
CORR
2010
Springer
13 years 7 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...