Logo

Formal Language Theory for Natural Language Processing

Small book cover: Formal Language Theory for Natural Language Processing

Formal Language Theory for Natural Language Processing
by

Publisher: ESSLLI
Number of pages: 52

Description:
This course is a mild introduction to Formal Language Theory for students with little or no background in formal systems. The motivation is Natural Language Processing, and the presentation is geared towards NLP applications, with extensive linguistically motivated examples. Still, mathematical rigor is not compromised, and students are expected to have a formal grasp of the material by the end of the course.

Home page url

Download or read it online for free here:
Download link
(320KB, PDF)

Similar books

Book cover: Understanding Programming LanguagesUnderstanding Programming Languages
by - John Wiley & Sons
The book explains what alternatives are available to the language designer, how language constructs should be used for safety and readability, how language constructs are implemented, the role of language in expressing and enforcing abstractions.
(17820 views)
Book cover: Exploring Programming Language Architecture in PerlExploring Programming Language Architecture in Perl
by
This book presents an informal and friendly introduction to some of the core ideas in modern computer science, using the programming language Perl as its vehicle. The book takes the form of a series of working interpreters for the language PScheme.
(17339 views)
Book cover: Compositional SemanticsCompositional Semantics
by - UMass Amherst
Contents: Basic Categorial Syntax; Shortcomings of Standard Categorial Syntax; Expanded Categorial Syntax; Examples of Expanded Categorial Syntax; Categorial Logic; Basic Categorial Semantics; Lambda-Abstraction; Expanded Categorial Semantics; etc.
(17184 views)
Book cover: Concrete Semantics: With Isabelle/HOLConcrete Semantics: With Isabelle/HOL
by - Springer
The book teaches the reader the art of precise logical reasoning and the practical use of a proof assistant as a tool for formal proofs about computer science artefacts. All the mathematics is formalised in Isabelle and much of it is executable.
(7573 views)