LEADER 00000uam a2200445 a 4500
006 m u
007 cr cn
008 190129s2012 xx o eng
024 8 KE12040
024 8 9781439846193
041 0 eng
100 1 Wang, Jiacun,|eauthor.
245 10 Handbook of Finite State Based Models and Applications
|h[electronic resource] /|cWang, Jiacun.
250 1st edition
264 1 |bCRC Press,|c2012.
300 409 p.
338 online resource|bcr|2rdacarrier
347 text file
520 Applicable to any problem that requires a finite number of
solutions, finite state-based models (also called finite
state machines or finite state automata) have found wide
use in various areas of computer science and engineering.
Handbook of Finite State Based Models and Applications
provides a complete collection of introductory materials
on finite state theories, algorithms, and the latest
domain applications. For beginners, the book is a handy
reference for quickly looking up model details. For more
experienced researchers, it is suitable as a source of in-
depth study in this area. The book first introduces the
fundamentals of automata theory, including regular
expressions, as well as widely used automata, such as
transducers, tree automata, quantum automata, and timed
automata. It then presents algorithms for the minimization
and incremental construction of finite automata and
describes Esterel, an automata-based synchronous
programming language for embedded system software
development. Moving on to applications, the book explores
regular path queries on graph-structured data, timed
automata in model checking security protocols, pattern
matching, compiler design, and XML processing. It also
covers other finite state-based modeling approaches and
applications, including Petri nets, statecharts, temporal
logic, and UML state machine diagrams.
533 Electronic reproduction.|bBoston, MA :|cSafari,|nAvailable
via World Wide Web.|d2012.
538 Mode of access: World Wide Web.
542 |fCopyright © CRC Press 2012|g2012
550 Made available through: Safari, an O’Reilly Media Company.
655 7 Electronic books.|2local
710 2 Safari, an O’Reilly Media Company.
830 0 Safari Books Online
856 40 |uhttps://ezp.lib.unimelb.edu.au/login?url=https://
&orpq&email=^u|zConnect to ebook (University of Melbourne
990 Safari Books Online
990 Batch Ebook load (bud2) - do not edit, delete or attach
| UniM INTERNET resource
|| AVAILABLE |