Much of the work in modern formal linguistics is concerned with giving mathematically precise accounts of human languages. Such work is particularly suited for research that involves language processing with computers. This book provides an introduction to one particularly popul…