Formal Language Theory 1 - YouTube Playlist
youtube.com · 1,218 words · saved by 1 readers
Follow along using the transcript.
hello and welcome to our first video about formal language theory in this video we're gonna talk about what a formal language is and why we might want to have a theory for it so in some of the previous videos that I've posted here particularly the ones about logic we've talked about the notion of a length of a formal version of the language in in in these terms right where the the a formal language has an alphabet which is a set of symbols that you can draw from a syntax which tells you about what orders you can place those those symbols in and possibly though not necessarily a semantics…
saved by
related reading
- Terminal and nonterminal symbolsen.wikipedia.org
- Chomsky hierarchy - Wikipediaen.wikipedia.org
- Formal grammar - Wikipediam.wikipedia.org
- Context-free grammar - Wikipediaen.wikipedia.org
- L-system - Wikipediaen.wikipedia.org
- Grammar: The language of languages (BNF, EBNF, ABNF and more)matt.might.net
- Type theory - Wikipediaen.wikipedia.org
- A shallow dive into formal verificationvitalik.eth.limo
- First-order logic - Wikipediaen.wikipedia.org
- What is PLUS times PLUS?youtube.com
- Deep Dive into LLMs like ChatGPTyoutube.com
- Language Modelinglena-voita.github.io