CLCTP3
LanguageENG
PublishYear2014
publishCompany
CRC Press
EISBN
9781466513495
PISBN
9781466513457
edition
1
- Product Details
- Contents
F o r m a l L a n g u a g e s a n d C o m p u t a t i o n : M o d e l s a n d T h e i r A p p l i c a t i o n s g i v e s a c l e a r , c o m p r e h e n s i v e i n t r o d u c t i o n t o f o r m a l l a n g u a g e t h e o r y a n d i t s a p p l i c a t i o n s i n c o m p u t e r s c i e n c e . I t c o v e r s a l l r u d i m e n t a l t o p i c s c o n c e r n i n g f o r m a l l a n g u a g e s a n d t h e i r m o d e l s , e s p e c i a l l y g r a m m a r s a n d a u t o m a t a , a n d s k e t c h e s t h e b a s i c i d e a s u n d e r l y i n g t h e t h e o r y o f c o m p u t a t i o n , i n c l u d i n g c o m p u t a b i l i t y , d e c i d a b i l i t y , a n d c o m p u t a t i o n a l c o m p l e x i t y . E m p h a s i z i n g t h e r e l a t i o n s h i p b e t w e e n t h e o r y a n d a p p l i c a t i o n , t h e b o o k d e s c r i b e s m a n y r e a l - w o r l d a p p l i c a t i o n s , i n c l u d i n g c o m p u t e r s c i e n c e e n g i n e e r i n g t e c h n i q u e s f o r l a n g u a g e p r o c e s s i n g a n d t h e i r i m p l e m e n t a t i o n .
C o v e r s t h e t h e o r y o f f o r m a l l a n g u a g e s a n d t h e i r m o d e l s , i n c l u d i n g a l l e s s e n t i a l c o n c e p t s a n d p r o p e r t i e s
E x p l a i n s h o w l a n g u a g e m o d e l s u n d e r l i e l a n g u a g e p r o c e s s o r s
P a y s a s p e c i a l a t t e n t i o n t o p r o g r a m m i n g l a n g u a g e a n a l y z e r s , s u c h a s s c a n n e r s a n d p a r s e r s , b a s e d o n f o u r l a n g u a
Collected by
- UCLA
- University of Cambridge
- Princeton University
- Yale University
- Harvard University
- Columbia University Library
- Stanford University
- UCB