Back to Results
First PageMeta Content
Büchi automaton / Automata theory / Models of computation / Deterministic finite automaton


Saarland University Faculty of Natural Sciences and Technology I Department of Computer Science Bachelor’s Thesis
Add to Reading List

Document Date: 2008-09-23 06:26:51

Open Document

File Size: 267,84 KB

Share Result on Facebook

Company

Deterministic Finite / Labeled Transition Systems / Let us / /

Facility

University Reviewers Prof. Bernd Finkbeiner / University Faculty / /

IndustryTerm

real-world applications / search space / depth-first search / search procedure / /

Organization

Advisor Sven Schewe Reactive Systems Group Department of Computer Science Saarland University Reviewers / Department of Computer Science Bachelor / Saarland University Faculty of Natural Sciences / /

Person

Sven Schewe / Holger Hermanns / Ai / Arnaud Fietzke / /

Technology

3.1 The L* algorithm / 32 6.1 Implemented algorithms / L* algorithm / /

SocialTag