This class was created by Brainscape user Vitor R. Visit their profile to learn more about the creator.
By:
Vitor R
- decks
- flashcards
- learners
Decks in this class (13)
1 - Regular languages
Full arden proof 1,
Nfa dfa equivalence 2,
Reg to nfa 3
4
cards
2 - WMSO
Nfa to wmso proof example 1,
Wmso to nfa proof example 2,
Wmso extencial quantifier project...
6
cards
3 - Star-Free Languages
How to play ef game 1,
What are ef games good for 2,
Prove aa not star 3
6
cards
Protocol questions
Regex to nfa 1,
Overview of all language classes ...,
What are the constructs to to des...
23
cards
4 - Presburger arithmetic
How to construct prefburguer auto...,
Quantifier elimination result 2,
Talk about congruences 3
3
cards
5 - Semilinear Sets
Sls closure properties 1,
Sls union intersection closure pr...,
Sls equivalence 3
3
cards
6 - Parikh’s Theorem
Draw the inclusions and how we pr...,
Phariks theorem 2,
Reachability in petri nets is dec...
6
cards
7 - Omega-regular languages
Formal definition of omega reg la...,
Show that nba iff omega reg 2,
Dba less expressive than nba proof 3
7
cards
8 - LTL
Ltl syntax 1,
Write something as always the cas...,
Ltl to nba 3
3
cards
9 - Pushdown systems
Translate a problem to pds 1,
Know corresponding automata of a ...,
Pds represent recursive programs 3
6
cards
10 - More on infinite words
0
cards
11 - Bottom-Up and Top-Down Tree Automata
Buta tdta rough overview 1,
Hot to check membership for hedge...
2
cards
12 - Parity games and infinite tree automata
How to play a parity game 1,
What are attractors how we comput...,
Closure properties pta 3
6
cards
More about
Automata theory
- Class purpose General learning
Learn faster with Brainscape on your web, iPhone, or Android device. Study Vitor R's Automata theory flashcards now!
How studying works.
Brainscape's adaptive web mobile flashcards system will drill you on your weaknesses, using a pattern guaranteed to help you learn more in less time.
Add your own flashcards.
Either request "Edit" access from the author, or make a copy of the class to edit as your own. And you can always create a totally new class of your own too!
What's Brainscape anyway?
Brainscape is a digital flashcards platform where you can find, create, share, and study any subject on the planet.
We use an adaptive study algorithm that is proven to help you learn faster and remember longer....
Looking for something else?
Master Sommelier Theory
- 68 decks
- 5030 flashcards
- 141 learners
Decks:
Southwest France, Loire Valley, Spain, And more!
X Clinical Veterinary Nursing Theory
- 70 decks
- 12656 flashcards
- 193 learners
Decks:
Fluid Therapy, Pain Management, Pharmacology, And more!
