COMP 520 FallScanners and Parsers (1) Scanners and parsers

Source URL: www.sable.mcgill.ca

• Software
• Computing
• Compiling tools
• Formal languages
• Finite automata
• Parser generators
• Compiler construction
• Flex
• Printf format string
• Lexical analysis
• GNU bison
• Regular expression

Constructing Exponential-size Deterministic Zielonka Automata Blaise Genest1,2 and Anca Muscholl1 1 2

Source URL: www.labri.fr

Automata for Analysing Service Contracts ? Davide Basile, Pierpaolo Degano, and Gian-Luigi Ferrari {basile,degano,giangi}@di.unipi.it Dipartimento di Informatica, Universit`a di Pisa, Italy Abstract. A novel approach to

Source URL: www.cs.le.ac.uk

Dense-Timed Pushdown Automata Parosh Aziz Abdulla Mohamed Faouzi Atig Jari Stenman

Source URL: user.it.uu.se

• Models of computation
• Pushdown automaton
• Software engineering
• Theoretical computer science
• Timed automaton
• Stack
• Petri net
• Clock
• Exponentiation
• Abstraction
• Nested word
• Nested stack automaton

Edit Distance for Pushdown Automata∗ Krishnendu Chatterjee, Thomas A. Henzinger, Rasmus Ibsen-Jensen, and Jan Otop IST Austria August 11, 2015 Abstract

Source URL: www.cs.au.dk

AUTOMATA THEORY IN NOMINAL SETS ´ MIKOLAJ BOJANCZYK, BARTEK KLIN, AND SLAWOMIR LASOTA University of Warsaw e-mail address:

Source URL: www.mimuw.edu.pl

A Note on Monitors and B¨ uchi automata Volker Diekert1 and Anca Muscholl2 and Igor Walukiewicz2 1 2

Source URL: www.labri.fr

A Cellular Automata Model of the Spread of HIV in a Community of Injection Drug Users Background Vahid Dabbaghian, Natasha Richardson, Alexander Rutherford and Krisztina Vasarhelyi

Source URL: www.cecm.sfu.ca

Automata and Logics for Concurrent Systems: Five Models in Five Pages? Benedikt Bollig LSV, ENS Cachan, CNRS & Inria

Source URL: www.lsv.ens-cachan.fr

Formal Methods in System Design manuscript No. (will be inserted by the editor) Analyzing Probabilistic Pushdown Automata Tom´asˇ Br´azdil · Javier Esparza · Stefan Kiefer · Anton´ın Kuˇcera

Source URL: www.fi.muni.cz