Le Clan des Sept 4 - Le Clan des Sept et la grange-aux-loups (French Edition)

Synopsis

This Handbook Presents A Collection Of Introductory Materials On Finite State Theories And Their Applications. It Offers An Open Treatment Of The Types Of Algorithms And Data Structures That Are Typically Retained Quietly By Companies And Provides Performance Information Regarding Individual Techniques For Various Domain Areas. A Complete Reference On Finite State-based Models And Their Applications, The Book Can Be Used By Beginners As A Quick Reference Guide And By Researchers For An In-depth Study Of This Area-- Front Cover; Handbook Of Finite State Based Models And Applications; Copyright; Table Of Contents; Preface; Contributors; 1. Finite Automata; 2. Large-scale Regular Expression Matching On Fpga; 3. Finite State Transducers; 4. Tree Automata; 5. Timed Automata; 6. Quantum Finite Automata; 7. Finite Automata Minimization; 8. Incremental Construction Of Finite-state Automata; 9. Esterel And The Semantics Of Causality; 10. Regular Path Queries On Graph-structured Data; 11. Applying Timed Automata To Model Checking Of Security Protocols 12. Optimal Adaptive Pattern-matching Using Finite State Automata13. Finite State Automata In Compilers; 14. Finite State Models For Xml Processing; 15. Petri Nets; 16. Statecharts; 17. Model Checking; 18. System Modeling With Uml State Machines; Back Cover Edited By Jiacun Wang. Description Based Upon Print Version Of Record. Includes Bibliographical References And Index. English