Login to filter by course Login to filter by course Reset
Operations on Formal LanguagesExplores formal language operations, including concatenation, union, intersection, and Kleene star for language repetition.
Formally Correct Intermittent SystemsFocuses on designing formally correct intermittent systems in batteryless systems powered intermittently, addressing challenges and strategies for ensuring correctness.
Formal Languages: ConceptsCovers the basics of formal languages, including alphabets, words, and languages, as well as operations like concatenation and reversal.
Formal Languages: ConceptsCovers the fundamental concepts of formal languages, including alphabets, words, languages, and word equality.
Context-Free GrammarsCovers context-free grammars, their equivalence to pushdown automata, and the hierarchy of grammar types.
Introduction to C++ StringsCovers the basics of working with strings in C++, including declaration, initialization, characters, assignment, concatenation, and comparison.
Parsing: CYK AlgorithmExplores formal grammars, parsing algorithms, CYK algorithm efficiency, and syntactic correctness in Natural Language Processing.