420
3 287 509

22:05

Fourteen DFA Examples? No Problem!

38:44

An Update

7:36

This CompSci Video was 100% written by ChatGPT

10:42

[April Fools] Exponential Lower Bounds for Circuit Families (P ≠ NP)

1:19:02

Turning 30

8:13

Why This All Matters

Easy Theory Website: www.easytheory.org
If you like this content, please consider subscribing to my channel: czcams.com/channels/3VY6RTXegnoSD_q446oBdg.html
▶ABOUT ME◀
I am a professor of Computer Science, and am passionate about it. I have taught many courses at several different universities, including several sections of undergraduate and graduate theory-level classes.
The views expressed in this video are not reflective of any of my current or former employers.

zhlédnutí: 2 701

Video

22:05

Planar Machines in Theory

zhlédnutí 584Před 2 měsíci

Here we consider "planar" machines in the undergraduate Theory of Computing class, and whether they are possible to be made, that is, a machine whose drawing does not have edge crossings. We prove that for regular languages, context-free languages, and Turing Machine languages, there is a corresponding "planar" machine. For example, every regular language has a planar NFA. CFG to PDA conversion...

38:44

Fourteen DFA Examples? No Problem!

zhlédnutí 7KPřed 7 měsíci

Here we solve Sipser problem 1.6, which involves 14 DFA (Deterministic Finite Automaton) problems. I give my strategies as well as ways for solving other problems. Timestamps: 0:00 - Intro 0:19 - DFA for binary strings beginning with 1, end with 0 3:02 - DFA for binary strings with at least three 1s 4:50 - DFA for binary strings that contain 0101 8:39 - DFA for binary strings with third symbol ...

7:36

An Update

zhlédnutí 6KPřed 8 měsíci

Thanks for supporting the channel and letting us hit 20k subscribers and over 2 million total views! If you like this content, please consider subscribing to my channel: czcams.com/channels/3VY6RTXegnoSD_q446oBdg.html ▶ABOUT ME◀ I am a professor of Computer Science, and am passionate about it. I have taught many courses at several different universities, including several sections of undergradu...

This CompSci Video was 100% written by ChatGPT

10:42

This CompSci Video was 100% written by ChatGPT

zhlédnutí 2,5KPřed rokem

ChatGPT can make this video instantly popular, right?...right? Easy Theory Website: www.easytheory.org Discord: discord.gg/SD4U3hs If you like this content, please consider subscribing to my channel: czcams.com/channels/3VY6RTXegnoSD_q446oBdg.html ▶ABOUT ME◀ I am a professor of Computer Science, and am passionate about it. I have taught many courses at several different universities, including ...

[April Fools] Exponential Lower Bounds for Circuit Families (P ≠ NP)

1:19:02

[April Fools] Exponential Lower Bounds for Circuit Families (P ≠ NP)

zhlédnutí 1,7KPřed rokem

Here we prove that P ≠ NP by giving an exponential lower bound for circuit families. If you like this content, please consider subscribing to my channel: czcams.com/channels/3VY6RTXegnoSD_q446oBdg.html ▶ABOUT ME◀ I am a professor of Computer Science, and am passionate about CS theory. I have taught many courses at several different universities, including several sections of undergraduate and g...

8:13

Turning 30

zhlédnutí 4KPřed rokem

Here I give my thoughts about turning 30...yeah...and also some experiences in theory along the way. Timeline: 0:00 - Intro 0:16 - First Theory (Guest) Lecture 1:13 - Theory Recitations 1:58 - First Theory Talk 3:44 - First Conference Talk 5:33 - Dissertation Defense 6:31 - Outro If you like this content, please consider subscribing to my channel: czcams.com/channels/3VY6RTXegnoSD_q446oBdg.html...

0:49

wish me luck

zhlédnutí 2,9KPřed rokem

If you like this content, please consider subscribing to my channel: czcams.com/channels/3VY6RTXegnoSD_q446oBdg.html ▶ABOUT ME◀ I am a professor of Computer Science, and am passionate about it. I have taught many courses at several different universities, including several sections of undergraduate and graduate theory-level classes. The views expressed in this video are not reflective of any of...

ChatGPT vs. Professor's Computer Science Exam

27:04

ChatGPT vs. Professor's Computer Science Exam

zhlédnutí 5KPřed rokem

Here we feed questions from a theoretical computer science exam I have given into ChatGPT, and analyze the output answers it gives. (Yes, ChatGPT generated this video description.) For those who may not be familiar, ChatGPT is a state-of-the-art natural language processing system that is capable of generating human-like responses to prompts and questions. In this experiment, we will be testing ...

19:24

I proved a math conjecture

zhlédnutí 2,6KPřed rokem

Original covering arrays video: czcams.com/video/m1j4OBs1wsY/video.html&ab_channel=EasyTheory arXiv preprint: arxiv.org/pdf/2211.01209.pdf Here we discuss a recent proof of mine of a conjecture in my research area, which has to do with sizes of covering arrays. I first go over what the problem, which is determining the asymptotic sizes (# of rows) of covering arrays of "higher index", which is ...

9:38

How to Become a Professor in 6 Steps

zhlédnutí 1,4KPřed rokem

Here we go over the REALLY EASY process of how to become a professor. Timeline: 0:00 - Intro 0:35 - Step 1: Get a PhD 1:17 - Step 2: Starting an Application 1:37 - Step 2a: Teaching Statement 2:13 - Step 2b: Research Statement 2:59 - Step 2c: Letters of Recommendation 3:30 - Step 2d: What Website to Apply On 4:02 - Step 2e: Advice 5:19 - Step 3: Phone Interview 6:11 - Step 4: On-Campus Intervie...

3:17

a student tried to bribe me once

zhlédnutí 3,3KPřed rokem

Yeah, so that happened. *sigh* Easy Theory Website: www.easytheory.org Discord: discord.gg/SD4U3hs If you like this content, please consider subscribing to my channel: czcams.com/channels/3VY6RTXegnoSD_q446oBdg.html ▶ABOUT ME◀ I am a professor of Computer Science, and am passionate about it. I have taught many courses at several different universities, including several sections of undergraduat...

The REAL Reason why Math/Humanities aren't "Useless"

5:31

The REAL Reason why Math/Humanities aren't "Useless"

zhlédnutí 1,9KPřed rokem

Here we talk about why ALL classes in university are important, including math AND humanities. The reason is really simple: that we instructors want all of you to be critical thinkers in tackling any complex problem or situation in which you will ever find yourself. Easy Theory Website: www.easytheory.org Discord: discord.gg/SD4U3hs If you like this content, please consider subscribing to my ch...

4:16

The Top Reason Why I'm a Professor

zhlédnutí 1,7KPřed rokem

The Top Reason Why I'm a Professor

Rice's Theorem Example: Emptiness for Turing Machines

4:31

Rice's Theorem Example: Emptiness for Turing Machines

zhlédnutí 2,7KPřed rokem

Rice's Theorem Example: Emptiness for Turing Machines

Rice's Theorem (Undecidability): 5 Proofs and Examples

19:01

Rice's Theorem (Undecidability): 5 Proofs and Examples

zhlédnutí 12KPřed rokem

Rice's Theorem (Undecidability): 5 Proofs and Examples

Context-Free Grammar (CFG) Example: Non-Palindromes

4:03

Context-Free Grammar (CFG) Example: Non-Palindromes

zhlédnutí 2KPřed rokem

Context-Free Grammar (CFG) Example: Non-Palindromes

Context-Free Grammar (CFG) Example: Nested Pairs

3:01

Context-Free Grammar (CFG) Example: Nested Pairs

zhlédnutí 988Před rokem

Context-Free Grammar (CFG) Example: Nested Pairs

Context-Free Grammar (CFG) Example: Complement of 0^n1^n2^n

7:26

Context-Free Grammar (CFG) Example: Complement of 0^n1^n2^n

zhlédnutí 5KPřed rokem

Context-Free Grammar (CFG) Example: Complement of 0^n1^n2^n

Context-Free Grammar (CFG) Example: Equal Pairs

2:43

Context-Free Grammar (CFG) Example: Equal Pairs

zhlédnutí 814Před rokem

Context-Free Grammar (CFG) Example: Equal Pairs

$Context-Free Grammar (CFG) Example: {a^i b^j c^k : i at most j+k}$ 3:33 $Context-Free Grammar (CFG) Example: {a^i b^j c^k : i at most j+k}$

Context-Free Grammar (CFG) Example: {a^i b^j c^k : i at most j+k}

zhlédnutí 5KPřed rokem

Context-Free Grammar (CFG) Example: {a^i b^j c^k : i at most j k}

Context-Free Grammars (CFGs): 5 Intermediate Examples

18:57

Context-Free Grammars (CFGs): 5 Intermediate Examples

zhlédnutí 22KPřed rokem

Context-Free Grammars (CFGs): 5 Intermediate Examples

Context-Free Grammar (CFG) Example: (0 U 1)*

2:31

Context-Free Grammar (CFG) Example: (0 U 1)*

zhlédnutí 1,4KPřed rokem

Context-Free Grammar (CFG) Example: (0 U 1)*

Context-Free Grammar (CFG) Example: 0*1*

4:21

Context-Free Grammar (CFG) Example: 0*1*

zhlédnutí 2,6KPřed rokem

Context-Free Grammar (CFG) Example: 0*1*

$Context-Free Grammar (CFG) Example: {a^i b^j c^k : i != j}$ 5:45 $Context-Free Grammar (CFG) Example: {a^i b^j c^k : i != j}$

Context-Free Grammar (CFG) Example: {a^i b^j c^k : i != j}

zhlédnutí 14KPřed rokem

Context-Free Grammar (CFG) Example: {a^i b^j c^k : i != j}

Context-Free Grammar (CFG) Example: Palindromes

3:32

Context-Free Grammar (CFG) Example: Palindromes

zhlédnutí 7KPřed rokem

Context-Free Grammar (CFG) Example: Palindromes

Context-Free Grammar (CFG) Example: Union/Concat/Star

4:41

Context-Free Grammar (CFG) Example: Union/Concat/Star

zhlédnutí 4,1KPřed rokem

Context-Free Grammar (CFG) Example: Union/Concat/Star

Context-Free Grammars (CFGs): 5 Easy Examples

19:03

Context-Free Grammars (CFGs): 5 Easy Examples

zhlédnutí 44KPřed 2 lety

Context-Free Grammars (CFGs): 5 Easy Examples

Context Free Grammar to Pushdown Automaton Conversion (CFG to PDA)

24:21

Context Free Grammar to Pushdown Automaton Conversion (CFG to PDA)

zhlédnutí 35KPřed 2 lety

Context Free Grammar to Pushdown Automaton Conversion (CFG to PDA)

Horses and Colors (Induction False "Proof")

14:15

Horses and Colors (Induction False "Proof")

zhlédnutí 2,9KPřed 2 lety

Horses and Colors (Induction False "Proof")