Automata Theory and Formal Languages

丛 书 名：Undergraduate Topics in Computer Science

版本说明：1

作     者：Alberto Pettorossi 

I S B N：(纸本) 9783031119644 

出 版 社：Springer Cham 

出 版 年：1000年

页      数：VIII, 280页

主 题 词：Mathematical Logic and Formal Languages Logics and Meanings of Programs Mathematical Logic and Foundations Theory of Computation 

摘      要：Knowledge of automata theory and formal languages is crucial for understanding human-computer interaction, as well as for understanding the various processes that take place when manipulating knowledge if that knowledge is, indeed, expressed as sentences written in a suitably formalized language. In particular, it is at the basis of the theory of parsing, which plays an important role in language translation, compiler construction, and knowledge manipulation in general.