XXXX, 1–19 © De Gruyter YYYY Subsequences of automatic sequences and uniform distribution

Source URL: www.dmg.tuwien.ac.at

• Elementary mathematics
• Numerical analysis
• Automata theory
• Automatic sequence
• Thue–Morse sequence
• Subsequence
• Equidistributed sequence
• Discrete Fourier transform
• Sequence
• Mathematics
• Mathematical analysis
• Diophantine approximation

CS109B Notes for LectureExpressive Power of Languages There are several dierent schemes we have seen for describing languages: 1. DFA, NFA, RE, for dening \regular sets."

Source URL: infolab.stanford.edu

• Computer science
• Formal grammar
• Regular expression
• Regular language
• Applied mathematics
• Formal languages
• Automata theory
• Theoretical computer science

Curriculum Vitæ (abridged) Luke Mathieson BSc BCompSc(Hons1) PGDipHEd MHEd PhD(Dunelm) Personal Details

Source URL: comp.mq.edu.au

• Parameterized complexity
• International Colloquium on Automata
• Languages and Programming
• Algorithm
• Symposium on Theoretical Aspects of Computer Science
• Michael Fellows
• Theoretical computer science
• Applied mathematics
• Computational complexity theory

Multi-Simulation for SmartGrids Inria 1st year, MAIA / Madynes, EDF R&D Julien Vaubourg Vincent Chevrier, Laurent Ciarletta MS4SG

Source URL: julien.vaubourg.com

• Simulation
• Science
• Scientific modeling
• Knowledge
• Applied mathematics
• Automata theory
• DEVS
• European Technology Platform for the Electricity Networks of the Future

Repeats in Trees and Pushdown Automata

Source URL: www.dcs.kcl.ac.uk

Bibliography Arbib, Michael A. 1969a. Self-Reproducing Automata—Some Implications for Theoretical Biology. Pages 204–226 of: Waddington, C. H. (ed), Towards a Theoretical Biology, 2: Sketches. Edinburgh: Edinburgh Un

Source URL: www.eeng.dcu.ie

• Intention
• Fellows of the Royal Society
• Abstraction
• Intentional stance
• Mental content
• Intentionality
• Brainstorms
• Richard Dawkins
• Philosophy of science
• Science
• Cognitive science
• Philosophy of mind

Tree pattern matching by pushdown automata

Source URL: www.dcs.kcl.ac.uk

• Pattern matching
• A
• ISO 216
• Software engineering
• Notation
• Automata theory
• Models of computation
• Pushdown automaton

Type Synthesis for the Logical Solver: an Approach based on Query Automata Louis Jachiet, Pierre Genev`es, Nabil Laya¨ıda July 25,

Source URL: typex.lri.fr

• Philosophy of mind
• Semantics
• Logic
• Linguistics
• Philosophy
• Interpretation
• Model theory
• Philosophy of language

Converting regexes to Parsing Expression Grammars ´ Marcelo Oikawa1 , Roberto Ierusalimschy1 , Ana Lucia de Moura1 1

Source URL: www.inf.puc-rio.br

• Computer programming
• Software engineering
• Computing
• Parsing
• Automata theory
• Parsing expression grammar
• Lookahead
• Syntactic predicate
• Perl Compatible Regular Expressions
• Regular expressions
• Pattern matching
• Formal languages

Distributed Safety Controllers for Web Services Anders Sandholm and Michael I. Schwartzbach BRICS? , Department of Computer Science University of Aarhus, Ny Munkegade DK-8000 Aarhus C, Denmark

Source URL: www.brics.dk

• Formal methods
• Computer science
• Finite-state machine
• Petri net
• Automata theory
• Models of computation
• Theoretical computer science