3 papers:
WIA-1998-HuerterSWY #automaton #finite #implementation- Implementing Reversed Alternating Finite Automaton (r-AFA) Operations (SH, KS, XW, SY), pp. 69–81.
- WIA-1997-SalomaaWY #implementation #performance #regular expression #using
- Efficient Implementation of Regular Languages Using R-AFA (KS, XW, SY), pp. 176–184.
CSL-1991-Fernando #bisimulation #complexity #logic #recursion #set- A Primitive Recursive Set Theory and AFA: On the Logical Complexity of the Largest Bisimulation (TF), pp. 96–110.
