<--- Back to Details
First PageDocument Content
Finite automata / Timed automaton / Muller automaton / Deterministic automaton / Finite-state machine / Regular language / Nondeterministic finite automaton / Alphabet / Automata theory / -automaton
Date: 2014-03-05 16:37:08
Finite automata
Timed automaton
Muller automaton
Deterministic automaton
Finite-state machine
Regular language
Nondeterministic finite automaton
Alphabet
Automata theory
-automaton

PII:

Add to Reading List

Source URL: www.cis.upenn.edu

Download Document from Source Website

File Size: 3,12 MB

Share Document on Facebook

Similar Documents

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

DocID: 1sfbi - View Document

Digital electronics / Electronic engineering / Electronics / Engineering / Computer memory / Digital systems / Flip-flop / Sequential logic / Logic gate / State / Finite-state machine / Digital signal

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

Computing / Software engineering / Finite automata / Compiler construction / Parallel computing / Analysis of parallel algorithms / Speedup / VTD-XML / Concurrent data structure / Finite-state machine / Regular expression / Parsing

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

DocID: 1rjTr - View Document

Computer architecture / Computing / Software / Embedded operating systems / Finite automata / Finite-state machine / OSEK / Real-time operating system / Model checking / Kernel / Protection ring / Embedded system

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

Computing / Computer architecture / Software engineering / Models of computation / Computer data / Dataflow / Finite-state machine / SIGNAL / BMDFM

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

DocID: 1r6CB - View Document