next up previous
Next: Bibliography Up: Treatment of -Moves in Previous: Conclusion

acknowledgments

I am grateful to Mark-Jan Nederhof for support, and for providing me with lots of (often dreadful) automata generated by his finite-state approximation tools.



Noord G.J.M. van
1998-09-24