Formal language theory is a theoretical discipline in computer science that plays a foundational role in areas such as compilers design, programming language theory, information transmission, computational biology, etc.
This unique volume is a succinct introduction to formal language theory suitable for an one-semester course. The main focus is on Chomsky's hierarchy of classes of languages ranging from regular languages to context-free, context-sensitive, and recursively enumerable languages. These classes are presented using both generative methods (grammars) as well as various analytical methods including finite automata, pushdown and linearly bounded automata, and Turing machine.
The useful reference text contains a large number of exercises of various degree of difficulties and is intended as a textbook for an upper-level undergraduate or a graduate course in formal languages.
Contents:
- Words, Languages, and Trees
- Finite Automata and Regular Languages
- Rewriting Systems and Grammars
- Context-Free Languages
- Pushdown Automata
- Recursively Enumerable Languages
- Context-Sensitive Languages
Readership: Graduates and undergraduates in theoretical computer science.
Betala smidigt med kort, Klarna, Apple Pay eller Google Pay. Är du inte nöjd har du alltid 14 dagars ångerrätt. Läs mer i våra villkor. Har du några frågor, mejla oss på hello@memmo.org.
Memmo gör det enklare att plugga – var du än är i världen. Hos oss samlar du kursböcker och smarta studieverktyg på ett och samma ställe: sammanfattningar, quiz, poddar och flashcards. Och så Ted, din studiekompis som svarar på allt du undrar. Över 75 000 studenter pluggar redan här – byggt för att du ska lära dig snabbare och stressa mindre.