Automata Implementation: First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29 - 31, 1996, Revised Papers

Front Cover
Springer Science & Business Media, Jun 18, 1997 - Computers - 188 pages
0 Reviews
This book constitutes the strictly refereed post-workshop proceedings of the First International Workshop on Implementing Automata, WIA'96, held in London, Ontario, Canada, in August 1996.
The volume presents 13 revised full papers together with an introduction and survey. The papers explore the use of software tools in formal language theory; various issues involved in the implementation of automata of all types are discussed. As the first book focusing on implementing automata, this collection of research papers defines the state of the art in the area. Generally speaking, the book advocates the practice of theory in computer science.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

I
viii
III
5
IV
25
V
34
VI
49
VII
63
VIII
71
IX
86
X
108
XI
119
XII
131
XIII
148
XIV
158
XVI
166
XVII
188
Copyright

Other editions - View all

Common terms and phrases

Popular passages

Page v - was supported in part by the Natural Sciences and Engineering Research Council of Canada and by the University of Western Ontario.

About the author (1997)

Eugene Fink received his B.S. degree from Mount Allison University (Canada) in 1991, M.S. from the University of Waterloo (Canada) in 1992, and Ph.D. from Carnegie Mellon University (USA) in 1999. He has been an assistant professor in the Computer Science and Engineering Department at the University of South Florida (USA) since 1999. His research interests include computational geometry, artificial intelligence, machine learning, and e-commerce.

Derick Wood received his B.Sc. (1963) and Ph.D. (1968) from the University of Leeds (UK). He was a Postdoctoral Fellow at the Courant Institute, New York University (USA), from 1968 to 1970, and then joined McMaster University (Canada) in 1970. He was a professor at the University of Waterloo (Canada) from 1982 to 1992, at the University of Western Ontario (Canada) from 1992 to 1995, and at the Hong Kong University of Science and Technology since 1995. He has published widely in a number of research areas and written two textbooks, "Theory of Computation" (John Wiley, 1987) and "Data Structures, Algorithms, and Performance" (Addison-Wesley, 1993).