I över 30 år har det saknats en svensk lärobok som lär ut fundamenta om formella grammatiker och de språk de genererar. Nästan lika magert har det varit i andra änden: de abstrakta maskiner som bland annat kan avgöra huruvida en sträng tillhör ett språk eller ej. Denna bok utgör en samlad beskrivning av dessa båda områden och innehåller dessutom väl valda detaljer från relaterade vetenskaper.
Tillämpningar av bokens innehåll står huvudsakligen att finna inom datalogin, men materialet är tvärvetenskapligt.
Läs mer om boken på studentlitteratur.se