<--- Back to Details
First PageDocument Content
Applied mathematics / Tree automaton / Finite-state machine / Alternating finite automaton / Powerset construction / Formal language / Muller automaton / Automata theory / Theoretical computer science / Computer science
Date: 2008-09-29 06:47:38
Applied mathematics
Tree automaton
Finite-state machine
Alternating finite automaton
Powerset construction
Formal language
Muller automaton
Automata theory
Theoretical computer science
Computer science

Universit¨at des Saarlandes Naturwissenschaftlich-Technische Fakult¨at 1 Fachrichtung Informatik Bachelor-Studiengang Informatik Bachelor’s Thesis

Add to Reading List

Source URL: cgi.csc.liv.ac.uk

Download Document from Source Website

File Size: 272,18 KB

Share Document on Facebook

Similar Documents

Conflict and Computation on Wikipedia: a Finite-State Machine Analysis of Editor Interactions

Conflict and Computation on Wikipedia: a Finite-State Machine Analysis of Editor Interactions

DocID: 1sfbi - View Document

cs281: Introduction to Computer Systems  Prelab for Lab06 – Introduction to Sequential Circuits Overview In this lab, we will learn about designing circuits that utilize memory (and a clock) in order to achieve some

cs281: Introduction to Computer Systems Prelab for Lab06 – Introduction to Sequential Circuits Overview In this lab, we will learn about designing circuits that utilize memory (and a clock) in order to achieve some

DocID: 1rqsB - View Document

Performance Enhancement with Speculative Execution Based Parallelism for Processing Large-scale XML-based Application Data Michael R. Head

Performance Enhancement with Speculative Execution Based Parallelism for Processing Large-scale XML-based Application Data Michael R. Head

DocID: 1rjTr - View Document

Back to the Roots: Implementing the RTOS as a Specialized State Machine Christian Dietrich, Martin Hoffmann, Daniel Lohmann Department of Computer Science 4 - Distributed Systems and Operating Systems Friedrich-Alexander

Back to the Roots: Implementing the RTOS as a Specialized State Machine Christian Dietrich, Martin Hoffmann, Daniel Lohmann Department of Computer Science 4 - Distributed Systems and Operating Systems Friedrich-Alexander

DocID: 1riTt - View Document

Parameterized Dataflow Scenarios Mladen Skelin, Marc Geilen, Francky Catthoor, Sverre Hendseth ES Reports ISSNESR

Parameterized Dataflow Scenarios Mladen Skelin, Marc Geilen, Francky Catthoor, Sverre Hendseth ES Reports ISSNESR

DocID: 1r6CB - View Document