Esta obra expone los principales conceptos desarrollados en el marco de la lingüística formal en las últimas décadas, fundamentales tanto en lingüística como en informática, así como en la intersección entre ambos campos. Estos conceptos, por un lado, han contribuido decisivamente al avance de la lingüística teórica en general y de las teorías lingüísticas en particular. Por otro, se han utilizado crucialmente en el desarrollo de la teoría de gramáticas y lenguajes formales en informática. La interacción entre ambos campos de investigación ha dado como resultado la disciplina denominada Lingüística computacional, que utiliza las formalizaciones expuestas en el presente libro para desarrollar programas informáticos que procesen las lenguas humanas con el fin de emular partes del comportamiento lingüístico, tanto a nivel fonológico y fonético, como morfológico, sintáctico, semántico y pragmático. Asimismo, los conceptos formales introducidos aquí fundamentan el análisis formal de las lenguas naturales y la construcción de teorías descriptivas y explicativas sobre su comportamiento y funcionamiento.