Formal languages

Context-free language

In formal language theory, a context-free language (CFL) is a language generated by a context-free grammar (CFG). Context-free languages have many applications in programming languages, in particular, most arithmetic expressions are generated by context-free grammars. (Wikipedia).

Video thumbnail

7.1: Intro to Session 7: Context-Free Grammar - Programming with Text

This video introduces Session 7: Context-Free Grammar from the ITP course "Programming from A to Z". A Context-Free Grammar is a set of recursive "replacement" rules to generate text. In this session, I discuss two JavaScript libraries: Tracery and RiTa.js for working with context-free gr

From playlist Programming with Text - All Videos

Video thumbnail

Context Free Languages

Theory of Computation 5. Context Free Languages ADUni

From playlist [Shai Simonson]Theory of Computation

Video thumbnail

How a Computer know a Sentence is Grammatical: Context Free Grammars [Lecture]

This is a single lecture from a course. If you you like the material and want more context (e.g., the lectures that came before), check out the whole course: https://boydgraber.org/teaching/CMSC_723/ (Including homeworks and reading.) Music: https://soundcloud.com/alvin-grissom-ii/review

From playlist Computational Linguistics I

Video thumbnail

Javascript Context Tutorial - What makes Javascript Weird...and Awesome Pt5

View whole series here: https://www.youtube.com/playlist?list=PLoYCgNOIyGABI011EYc-avPOsk1YsMUe_ Call, Apply & Bind are avoided by many JS developers, but it doesn't have to be that way. Context is a simple concept that creates complicated realities for developers. In this javascript tu

From playlist Javascript Tutorial For Beginners

Video thumbnail

Building context-free grammars: Theory of Computation (Mar 12 2021)

Context free grammars! This is a recording of a live class for Math 3342, Theory of Computation, an undergraduate course for math & computer science majors at Fairfield University, Spring 2021. Class website: http://cstaecker.fairfield.edu/~cstaecker/courses/2021s3342/

From playlist Math 3342 (Theory of Computation) Spring 2021

Video thumbnail

the C language (part 2 of 5)

Introduction to the C programming language. Part of a larger series teaching programming. See http://codeschool.org

From playlist The C language

Video thumbnail

Javascript Scope Tutorial - What Makes Javascript Weird...and Awesome Pt 4

Scope and Context are in every language, but because Javascript is always firing callbacks and running asynchronous tasks, it's easy to lose sight of what scope & context you're in. Scope and context are not the same thing. Scope is variable access - what variables the current piece of c

From playlist Javascript Tutorial For Beginners

Video thumbnail

the C language (part 5 of 5)

Introduction to the C programming language. Part of a larger series teaching programming. See http://codeschool.org

From playlist The C language

Video thumbnail

Theory of Computation: Closure properties for CFL

This video is for my Spring 2020 section of MA 342, for the class meeting on Wednesday March 25. Visit the class website for homework as usual! Fast forward music is from "Now Get Busy" by the Beastie Boys, licensed Creative Commons Noncommercial Sampling Plus.

From playlist Math 342 (Theory of Computation) Spring 2020

Video thumbnail

Context-free closure properties: Theory of Computation (Mar 24 2021)

This is a recording of a live class for Math 3342, Theory of Computation, an undergraduate course for math & computer science majors at Fairfield University, Spring 2021. Class website: http://cstaecker.fairfield.edu/~cstaecker/courses/2021s3342/

From playlist Math 3342 (Theory of Computation) Spring 2021

Video thumbnail

Undecidability and CFLs

Theory of Computation 10. Undecidability and CFLs ADUni

From playlist [Shai Simonson]Theory of Computation

Video thumbnail

More grammars: Theory of Computation (Mar 10 2021)

More grammars! This is a recording of a live class for Math 3342, Theory of Computation, an undergraduate course for math & computer science majors at Fairfield University, Spring 2021. Class website: http://cstaecker.fairfield.edu/~cstaecker/courses/2021s3342/

From playlist Math 3342 (Theory of Computation) Spring 2021

Video thumbnail

5. CF Pumping Lemma, Turing Machines

MIT 18.404J Theory of Computation, Fall 2020 Instructor: Michael Sipser View the complete course: https://ocw.mit.edu/18-404JF20 YouTube Playlist: https://www.youtube.com/playlist?list=PLUl4u3cNGP60_JNv2MmK3wkOt9syvfQWY Quickly reviewed last lecture. Proved the CFL pumping lemma as a tool

From playlist MIT 18.404J Theory of Computation, Fall 2020

Video thumbnail

Computation Ep20, Context Free Grammars (Mar 11, 2022)

This is a recording of a live class for Math 3342, Theory of Computation, an undergraduate course for math and computer science majors at Fairfield University, Spring 2022. The course is about finite automata, Turing machines, and related topics. Homework and handouts at the class websi

From playlist Math 3342 (Theory of Computation) Spring 2022

Video thumbnail

Computation Ep25, Stacks and CFGs (Apr 5, 2022)

This is a recording of a live class for Math 3342, Theory of Computation, an undergraduate course for math and computer science majors at Fairfield University, Spring 2022. The course is about finite automata, Turing machines, and related topics. Homework and handouts at the class websi

From playlist Math 3342 (Theory of Computation) Spring 2022

Video thumbnail

More lemmas, CYK

Theory of Computation 9. More lemmas, CYK ADUni

From playlist [Shai Simonson]Theory of Computation

Video thumbnail

4. Pushdown Automata, Conversion of CFG to PDA and Reverse Conversion

MIT 18.404J Theory of Computation, Fall 2020 Instructor: Michael Sipser View the complete course: https://ocw.mit.edu/18-404JF20 YouTube Playlist: https://www.youtube.com/playlist?list=PLUl4u3cNGP60_JNv2MmK3wkOt9syvfQWY Quickly reviewed last lecture. Defined context free grammars (CFGs) a

From playlist MIT 18.404J Theory of Computation, Fall 2020

Related pages

String operations | Undecidable problem | Parsing expression grammar | Closure (mathematics) | Parsing | Context-free grammar | Big O notation | Pushdown automaton | Regular language | Pumping lemma for context-free languages | Formal language | Prefix (computer science) | Earley parser | Deterministic context-free language | Quotient of a formal language | Ogden's lemma | Context-sensitive language | Deterministic pushdown automaton | Parikh's theorem | Chomsky normal form | Dyck language | Union (set theory) | Concatenation | Kleene star | LR parser | Matrix multiplication | Circular shift | CYK algorithm