PPA 1/10: Formal Grammars [program analysis crash course]

A lecture for BSc students in Innopolis University. Blog: Books: GitHub: (don’t hesitate to follow in order to stay informed) Telegram channel with recent news and updates: (subscribe to not miss a thing) Twitter with daily and weekly updates: (follow me!) iTunes: SoundCloud: Yandex Music podcast by yegor256: 0:00 Introduction 3:13 Why we need to formalize the language 12:51 How scientists define a grammar 17:22 How do we define the rule 24:41 Context-Sensitive Grammar 29:37 Context-Free Grammar 40:55 Which rule we are going to use 48:04 Regular Grammar 56:02 Concrete Syntax Tree 59:42 Ambiguity 1:03:43 Non-determinism 1:10:10 Real code 1:20:20 Conclusion