You are about to action:

Object being modified by the action

Do you want to proceed?

Share Video Link

https://www.bitchute.com/video/dOP1ASa6jZg/

Click to copy, then share by pasting into your messages, comments, social media posts and websites.

Embed Video HTML

Click to copy, then add into your webpages so users can view and engage with this video from your site.

Share to Social Media

Share to social media by clicking on the quick share links.

Report Content

Reason

Please select the most appropriate reason from the list provided.

Note: For a more detailed description of each reason, see our Community Guidelines.

Additional Comments

Please add any additonal comments that will help with the assessment of your request.

Note: Copyright claims must contain all the items specified within the Copyright Policy.

Email Submissions

We also accept reports via email. Please see the Guidelines Enforcement Process for instructions on how to make a request via email.

Thank you for submitting your report

We will investigate and take the appropriate action.

Add to Playlist

Proving a Context-Free Grammar is Correct (Theory of Computing)

Next video playing soon

Click to cancel

Autoplay has been paused

Click to watch next video

First published at 16:47 UTC on May 12th, 2023.

Dr. Daniel R. Page

PageWizard Games, Learning & Entertainment

subscribers

Your platform for uncensored ideas. BitChute Premium.

BitChute Advertisement

Previously we defined what a context-free grammar is. We proposed a grammar that generates all palindromic strings. Is it correct? Dr. Page discusses how we can prove its correctness, using the definition of the language for a context-free gramma…

Time Stamps:
0:00 Recap, a context-free grammar we want to prove correct
1:39 Gameplan
6:30 Proof (Part 1 - induction on the number of production rules applied)
23:20 Proof (Part 2 - induction on length of string)
32:59 Closing

Have a beautiful day!

Supporters (to date of publication, by tier (top to bottom)):
----------------------------------------------------------
Patreon Supporters (General Support):
Draikou
Patreon Supporters (Basic Support):
Eric R
Patreon Supporters (Supporter Access!):

-----------------------------------------------------------
Become a supporter today! To support my work and mission to provide free or accessible Computer Science education (especially in theory), subscribe to the channel, share my videos. Please donate and contribute to support my work for more content:
PATREON: https://www.patreon.com/PageWizard
SUBSCRIBESTAR: https://www.subscribestar.com/drpage
PAYPAL: https://paypal.me/pagewizard

Follow also at:
FACEBOOK: https://www.facebook.com/DanielRPage
TWITTER: https://twitter.com/PageWizardGLE
QUORA: https://www.quora.com/profile/Daniel-R-Page
TWITCH: https://www.twitch.tv/pagewizard

#ComputerScience
#Algorithms
#DataStructures

LESS