Brainscape's Knowledge GenomeTM

Browse over 1 million classes created by top students, professors, publishers, and experts.


See full index

Programming Languages and Computation

This class was created by Brainscape user Aiden Dawes. Visit their profile to learn more about the creator.

By: Aiden Dawes
Start Studying

Decks in this class (21)

Strings and Concrete Syntax
What is an alphabet,
What is a string and empty string,
What is a language
17  cards
Trees and Abstract Syntax
What 3 elements comprise a while ...,
Why use abstract syntax trees,
Write the following expression as...
14  cards
3.1 Finite Automata
What is a finite automata,
What is a finite automata for a s...,
How to derive final state based
9  cards
3.2 Kleene's Theorem
What is kleene s theorem,
What is the language generated by...,
How to convert from regex to fini...
6  cards
4.1 Inexpressibility
How do we know there is a loop in...,
Given the following string with s...,
Given word aaaaba and knowing 5 s...
5  cards
4.2 Pumping Lemma
What is the lumping lemma p1 p2 p3,
What is the brief explaination of...,
What is the proof structure patte...
6  cards
5.1 While Expressions
What is an integer litteral in te...,
What is the grammar tree for simp...,
What are the rules for the semant...
10  cards
5.2 While statements
What is a while statement and gra...,
What is the set of semantic confi...,
What are the semantic inference r...
4  cards
7.1 Breaking Bad
What is safety,
What are some non terminating sta...,
What is the derivation tree for t...
6  cards
7.2 Correctness
What is the difference between pa...,
How to prove partial correctness,
Why is this invariant not strong ...
3  cards
8.1 Computable functions
Why is a while function partial,
What makes a function computable,
Write a program to compute the fo...
6  cards
8.2 Decidable predicates
What is the characteristic functi...,
What makes a predicate u decidable,
Create a while program to compute...
5  cards
9.1 Bijections
What is a injective function,
What is a surjective function,
What is a bijective function
9  cards
9.2 Encoding Data
What is a paring function,
What are the 2 functions used for...,
How to encode a list using pairin...
3  cards
9.3 Reflections
What is a reflection and what is ...,
How to reflect a general function...,
What is the commuative diagram fo...
3  cards
10.1 Godel Numberings
What are godel numberings,
What is the function which maps w...,
What is a code transformation
5  cards
10.2 The Universal Function
What is the universal function,
What is kleene s theorem,
How does program that computes th...
3  cards
10.3 The Church Turing thesis
What is the church turing thesis,
What is the set pr,
What are some other models of com...
3  cards
10.4 The Halting Problem
1  cards
11.1 Reductions
What is a many to one reduction,
If u reduces to v what is the rel...,
How to reduce halt to all and hen...
4  cards
11.2 Rice's theorem
Http in english what does rice s ...,
What is rice s theorem precicely,
What form does the reflected set ...
4  cards

More about
Programming Languages and Computation

  • Class purpose General learning

Learn faster with Brainscape on your web, iPhone, or Android device. Study Aiden Dawes's Programming Languages and Computation flashcards for their AISJ class 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.

Learn more about spaced repetition

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?

ITE02 - Computer Programming
  • 1 decks
  • 43 flashcards
  • 30 learners
Decks: Prelims, And more!
Survey of Programming Languages
  • 15 decks
  • 287 flashcards
  • 3 learners
Decks: Week 1, Week 2, Week 2b, And more!
Programming
  • 10 decks
  • 354 flashcards
  • 58 learners
Decks: Intro To Java, Cs50 Week 1, Mit 600 Week 1, And more!
Find Flashcards
Make Flashcards
Brainscape helps you reach your goals faster, through stronger study habits.
© 2024 Bold Learning Solutions. Terms and Conditions