紀錄類型: |
書目-電子資源
: Monograph/item
|
正題名/作者: |
Programming-based formal languages and automata theory/ by Marco T. Morazán. |
其他題名: |
design, implement, validate, and prove / |
作者: |
Morazán, Marco T. |
出版者: |
Cham :Springer Nature Switzerland : : 2024., |
面頁冊數: |
xxiii, 524 p. :ill. (some col.), digital ;24 cm. |
內容註: |
Part I: Fundamental Concepts -- 1. Introduction to FSM -- 2. Essential Background -- 3. Types of Proofs -- Part II: Regular Languages -- 4. Regular Expressions -- 5. Deterministic Finite-State Machines -- 6. Nondeterministic Finite State Machines -- 7. Finite-State Automatons and Regular Expressions -- 8. Regular Grammars -- 9. Languages that are not Regular -- Part III: Context-Free Languages -- 10. Context-Free Grammars -- 11. Pushdown Automata -- 12. Equivalence of pdas and cfgs -- 13. Properties of Context-Free Languages -- 14. Deterministic PDAs -- Part IV: Context-Sensitive Languages -- 15. Turing Machines -- 16. Turing Machine Composition -- 17. Turing Machine Extensions -- 18. Context-Sensitive Grammars -- 19. Church-Turing Thesis and Undecidability -- 20. Complexity -- Part V: Epilogue -- 21. Where to Go From Here. |
Contained By: |
Springer Nature eBook |
標題: |
Formal languages. - |
電子資源: |
https://doi.org/10.1007/978-3-031-43973-5 |
ISBN: |
9783031439735 |