You are here

Home
Back to top

Implementation and Application of Automata: 18th International Conference, Ciaa 2013, Halifax, Ns, Canada, July 16-19, 2013. Proceedings (Paperback)

Implementation and Application of Automata: 18th International Conference, Ciaa 2013, Halifax, Ns, Canada, July 16-19, 2013. Proceedings Cover Image
By Stavros Konstantinidis (Editor)
$71.49
Usually Ships in 1-5 Days

Description

Complexity of automata.- Compressed automata.- Counter automata.- Dictionary matching.- Edit distance.- Homing sequences.- Implementation.- Minimization of automata.- Model checking.- Parsing of regular expressions.- Partial word automata.- Picture languages.- Pushdown automata.- Queue automata.- Reachability analysis for software verification.- Restarting automata.- Transducers.- Tree automata.- Weighted automata.- XML streams.

Product Details
ISBN: 9783642392733
ISBN-10: 3642392733
Publisher: Springer
Publication Date: July 19th, 2013
Pages: 358
Language: English
Series: Lecture Notes in Computer Science
Categories