Check out my first novel, midnight's simulacra!

CS GRE: Difference between revisions

From dankwiki
Line 170: Line 170:
|-
|-
| Models of computation (finite automata, Turing machines)
| Models of computation (finite automata, Turing machines)
|
| '''SIPSER''' 1, 3
|-
|-
| Formal languages and grammars (regular and context free)
| Formal languages and grammars (regular and context free)
| '''Sipser''' 1, 2
| '''SIPSER''' 2
|-
|-
| Decidability
| Decidability
|
| '''SIPSER''' 4, 5, 6.2, 6.3, 7.2-7.5
|-
|-
|colspan=2| '''Discrete structures'''
|colspan=2| '''Discrete structures'''