| 期刊全稱 | A Course in Formal Languages, Automata and Groups | | 影響因子2023 | Ian M. Chiswell | | 視頻video | http://file.papertrans.cn/141/140469/140469.mp4 | | 發(fā)行地址 | Most books on formal languages and automata are written for undergraduates in computer science; in contrast, this book provides a rigorous text aimed at the postgraduate-level mathematician with preci | | 學(xué)科分類 | Universitext | | 圖書(shū)封面 |  | | 影響因子 | This book is based on notes for a master’s course given at Queen Mary, University of London, in the 1998/9 session. Such courses in London are quite short, and the course consisted essentially of the material in the ?rst three chapters, together with a two-hour lecture on connections with group theory. Chapter 5 is a considerably expanded version of this. For the course, the main sources were the books by Hopcroft and Ullman ([20]), by Cohen ([4]), and by Epstein et al. ([7]). Some use was also made of a later book by Hopcroft and Ullman ([21]). The ulterior motive in the ?rst three chapters is to give a rigorous proof that various notions of recursively enumerable language are equivalent. Three such notions are considered. These are: generated by a type 0 grammar, recognised by a Turing machine (deterministic or not) and de?ned by means of a Godel ¨ numbering, having de?ned “recursively enumerable” for sets of natural numbers. It is hoped that this has been achieved without too many ar- ments using complicated notation. This is a problem with the entire subject, and it is important to understand the idea of the proof, which is often quite simple. Two particular places that are hea | | Pindex | Textbook 2009 |
The information of publication is updating
書(shū)目名稱A Course in Formal Languages, Automata and Groups影響因子(影響力)
書(shū)目名稱A Course in Formal Languages, Automata and Groups影響因子(影響力)學(xué)科排名
書(shū)目名稱A Course in Formal Languages, Automata and Groups網(wǎng)絡(luò)公開(kāi)度
書(shū)目名稱A Course in Formal Languages, Automata and Groups網(wǎng)絡(luò)公開(kāi)度學(xué)科排名
書(shū)目名稱A Course in Formal Languages, Automata and Groups被引頻次
書(shū)目名稱A Course in Formal Languages, Automata and Groups被引頻次學(xué)科排名
書(shū)目名稱A Course in Formal Languages, Automata and Groups年度引用
書(shū)目名稱A Course in Formal Languages, Automata and Groups年度引用學(xué)科排名
書(shū)目名稱A Course in Formal Languages, Automata and Groups讀者反饋
書(shū)目名稱A Course in Formal Languages, Automata and Groups讀者反饋學(xué)科排名
|
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-8 00:09
發(fā)表于 2025-3-21 17:19:56
