登入選單
返回Google圖書搜尋
An Introduction to Formal Languages and Machine Computation
Song Y. Yan
出版World Scientific, 1998
主題Computers / Programming Languages / GeneralComputers / Computer ScienceMathematics / Discrete Mathematics
ISBN98102342289789810234225
URLhttp://books.google.com.hk/books?id=LYspp0L6pRcC&hl=&source=gbs_api
EBookSAMPLE
註釋This book provides a concise and modern introduction to Formal Languages and Machine Computation, a group of disparate topics in the theory of computation, which includes formal languages, automata theory, turing machines, computability, complexity, number-theoretic computation, public-key cryptography, and some new models of computation, such as quantum and biological computation. As the theory of computation is a subject based on mathematics, a thorough introduction to a number of relevant mathematical topics, including mathematical logic, set theory, graph theory, modern abstract algebra, and particularly number theory, is given in the first chapter of the book. The book can be used either as a textbook for an undergraduate course, for a first-year graduate course, or as a basic reference in the field.