Active Automata Learning: From DFA to Interface Programs and Beyond or From Languages to Program Executions or (more technically) The Power of Counterexample Analysis

Source URL: www.connect-forever.eu

• Digital audio
• Digital audio recording
• Multiplexing
• Pulse-code modulation
• Rational Software
• Data modeling
• Extrapolation
• Economic model

Automated Abstraction of Dynamic Neural Systems for Natural Language Processing Henrik Jacobsson, Stefan L. Frank & Diego Federici Abstract— This paper presents a variant of the Crystallizing Substochastic Sequential M

Source URL: www.stefanfrank.info

• Finite automata
• Artificial neural networks
• Computational neuroscience
• Computational statistics
• Artificial intelligence
• Recurrent neural network
• Moore machine
• Parsing
• Quantization
• Finite-state machine

Foundations of XML Types: Tree Automata Pierre Genevès CNRS (slides mostly based on slides by W. Martens and T. Schwentick) University of Grenoble Alpes, 2015–2016

Source URL: tyrex.inria.fr

• Formal languages
• Tree automaton
• Binary tree
• Tree
• Regular tree grammar
• Parity
• Alphabet
• Arity
• Even

Coproducts for Permutation Groups, Transformation Semigroups, Automata and Related Categories Chrystopher L. Nehaniv joint work with Fariba Karimi Woflson Royal Society Biocomputation Laboratory

Source URL: www.maths.dur.ac.uk

• Semigroup theory
• Algebraic structures
• Category theory
• Transformation semigroup
• Semigroup
• Coproduct
• Monoid
• Inverse element
• Permutation group
• Group action
• Product
• KrohnRhodes theory

Regular Expressions and Finite-State Automata Overview

Source URL: cl.indiana.edu

• Formal languages
• Finite automata
• Finite-state transducer
• Regular language
• Finite-state machine
• Regular expression
• Deterministic automaton
• Alphabet
• Induction of regular languages
• Star height

Summer 2009 :: COM SCI 181, Sec.1 :: Introduction to Formal Languages and Automata Theory :: Syllabus/Info Class Information Location, day, time: *from the Registrar

Source URL: atakangunal.com

• Formal languages
• Theoretical computer science
• Theory of computation
• Computability theory
• Models of computation
• Computability
• Automata theory
• Introduction to the Theory of Computation
• Turing machine
• Super-recursive algorithm
• Algorithm
• Finite-state machine

LoyalCete: Typical Unification of I/O Automata and the Internet Ike Antkare International Institute of Technology United Slates of Earth

Source URL: membres-lig.imag.fr

Towards Diagrammability and Efficiency in Event Sequence Languages Kathi Fisler Department of Computer Science WPI (Worcester, MA, USA)

Source URL: web.cs.wpi.edu

• Finite automata
• Theoretical computer science
• Formal languages
• Infographics
• Linear temporal logic
• Temporal logic
• Finite-state machine
• Diagram
• Sequence
• Formal verification
• Automata theory
• Bchi automaton

Landscape Automata for Search Based Procedural Content Generation. Daniel Ashlock and Cameron McGuinness Abstract—This study introduces a new representation landscape automata for encoding heightmaps that may be used f

Source URL: eldar.mathstat.uoguelph.ca

• Cybernetics
• Mathematical optimization
• Genetic algorithms
• Heightmap
• Procedural generation
• Scenery generator
• Evolutionary algorithm
• Cellular automaton
• Fitness landscape
• Fitness function
• Genetic programming
• Finite-state machine

Introduction Monitoring Procedure Experiments Conclusion Rewrite-Based Statistical Model Checking of

Source URL: rv2012.ku.edu.tr

• Finite automata
• Model checking