Скачать или смотреть Regular Languages Closed Under Union Proof + Example

Full Theory of Computation Lecture playlist:    • Syllabus, Simple Machines, and Determinist...  
Lecture "a la carte" playlist:    • "Simple" Computers  

Here we prove that regular languages are closed under union via a "product construction," which is making a DFA that "simulates" two other DFAs by having its states be ordered pairs of states from the two original DFAs. We also give an example of how this would be done on real DFAs.

Easy Theory Website: https://www.easytheory.org
Become a member:    / @easytheory  
Donation (appears on streams): https://streamlabs.com/easytheory1/tip
Paypal: https://paypal.me/easytheory
Patreon:   / easytheory  
Discord:   / discord  

#easytheory

Youtube Live Streaming (Sundays) - subscribe for when these occur.

Social Media:
Facebook Page:   / easytheory  
Facebook group:   / easytheory  
Twitter:   / easytheory  

Merch:
Language Hierarchy Apparel: https://teespring.com/language-hierar...
Pumping Lemma Apparel: https://teespring.com/pumping-lemma-f...

If you like this content, please consider subscribing to my channel:    / @easytheory  

▶SEND ME THEORY QUESTIONS◀
[email protected]

▶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 graduate theory-level classes.