Förlagets beskrivning
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. Att konstruera en kompilator till exempel, ställer krav på kunskaper som går utöver dator- och programkonstruktion. Kännedom om lingvistik och matematik, som normalt lärs ut efter två år eller mer på en universitetsinstitution, är nödvändig. Denna bok tar en genväg genom att exkludera vissa formella detaljer och bevis som inte är centrala för framställningen av ämnet. Ambitionen att presentera en heltäckande bok, som samtidigt inte kräver så mycket förkunskaper, har förhoppningsvis resulterat i en text som är läsvärd och användbar långt utanför den centrala kretsen av datavetare, lingvister, matematiker och filosofer.
Ämnet kräver en aktiv läsare för att bli riktigt intressant och övningar har därför fått ovanligt stort utrymme. Lösningar till samtliga övningar är inkluderade. Detta motiveras av att lösningarna ofta går utöver texten och således ger möjlighet till djupare insikter.
Liknande böcker
Recensioner
Den här boken har tyvärr inte några recensioner ännu. Om du redan läst boken, skriv en recension!
Recensera boken
Skriv en recension och dela dina åsikter med andra. Försök att fokusera på bokens innehåll. Läs våra instruktioner för mer information.
Abstrakta maskiner och formella språk
Bokrecensioner » Abstrakta maskiner och formella språk
|
|
 |
|
|
|
|
