Search for tag: "strings"

ECS 120 5b:4 a non-regular unary language

From  David Doty 0 likes 41 plays 0  

ECS 120 5b:3 more examples of using Myhill-Nerode Theorem

From  David Doty 0 likes 61 plays 0  

ECS 120 5b:2 proof of non-regularity using closure properties

From  David Doty 0 likes 42 plays 0  

ECS 120 5b:1 examples of using the Myhill-Nerode Theorem

I forgot to write on this slide that this is Section 7.7 in the lecture notes.

From  David Doty 0 likes 69 plays 0  

ECS 120 5a:5 corollary of Myhill-Nerode Theorem we use and its proof

From  David Doty 0 likes 57 plays 0  

ECS 120 5a:4 statement of Myhill-Nerode Theorem

From  David Doty 0 likes 64 plays 0  

ECS 120 5a:3 example of separating extension

From  David Doty 0 likes 59 plays 0  

ECS 120 5a:2 definition of separating extension and L-equivalence

From  David Doty 0 likes 59 plays 0  

ECS 120 0:7 combinatorics (discrete math review)

From  David Doty 1 likes 223 plays 0  

ECS 220 5b:6.6-4 two lemmas and full proof of Ladner_s theorem

From  David Doty 0 likes 14 plays 0  

ECS 220 5b:6.6-2 almost proof of Ladner's theorem

From  David Doty 0 likes 14 plays 0  

ECS 220 5b:6.6-1 Ladner's theorem, existence of NP-intermediate problems

From  David Doty 0 likes 18 plays 0  

ECS 220 5a:6.4-5 an oracle making P≠NP

From  David Doty 0 likes 14 plays 0  

ECS 220 3a:4-5.2 string representation of Turing machine

From  David Doty 0 likes 21 plays 0  

ECS 220 2b:4.3-1 formal definition of NP and NP in EXP

From  David Doty 0 likes 41 plays 0  

ECS 220 1a:2.1 problems and solutions

From  David Doty 0 likes 46 plays 0