Search for tag: "strings"

ECS-036A: 2023-04-28 13:07

ECS-036A Lecture 2023-04-28 at 13:07

From  Matthew Bishop 0 likes 26 plays 0  

ECS20 - W22 - Lecture 17 (9T): Counting 2

Lecture 2022-03-01. Review of counting principles. Then, another day of examples, these leading to probability calculations.

From  Phil Rogaway 0 likes 79 plays 0  

ECS20 - W22 - Lecture 11 (6T): Relations and Functions 3

Lecture 2022-02-08. Equinumerous sets. Another proof that the rationals are countable. Uncountability of the set of all languages over {0,1}. When do things become impractical? Concrete dividing…

From  Phil Rogaway 0 likes 109 plays 0  

ECS20 - W22 - Lecture 10 (5R): Relations and Functions 2

Injective, surjective, and bijective functions. Examples. Two methods to shuffle cards. Countably infinite sets.

From  Phil Rogaway 0 likes 105 plays 0  

ECS20 - W22 - Lecture 9 (5T): Relations and Functions 1

ECS-020 Lecture 2022-02-01. Reviewing definitions. Equivalence relations and the idea that they induce partitions. Three ways of conceptualizing integers mod n. Functions. Computing functions that…

From  Phil Rogaway 0 likes 141 plays 0  

ECS20 - W22 - Lecture 8 (4R): Sets 3

Review of strings and languages. Closing a set of languages using some operators. Regular languages. Examples. BYTE, WORD32, and WORD64 as languages computers "like", and how we…

From  Phil Rogaway 0 likes 91 plays 0  

ECS20 - W22 - Lecture 7 (4T): Sets 2

More about sets. Powerset of a set. Cross product of sets. The axiomatic approach to set theory. Languages (sets of strings).

From  Phil Rogaway 0 likes 114 plays 0  

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

From  David Doty 0 likes 179 plays 0  

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

From  David Doty 0 likes 286 plays 0  

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

From  David Doty 0 likes 156 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 694 plays 0  

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

From  David Doty 0 likes 173 plays 0  

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

From  David Doty 0 likes 246 plays 0  

ECS 120 5a:3 example of separating extension

From  David Doty 0 likes 175 plays 0  

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

From  David Doty 0 likes 172 plays 0  

ECS 120 0:7 combinatorics (discrete math review)

From  David Doty 1 likes 309 plays 0