Operations on Formal LanguagesExplores formal language operations, including concatenation, union, intersection, and Kleene star for language repetition.
Finite Automata: BasicsIntroduces the basics of finite automata, including deterministic and non-deterministic types, regular expressions, and acceptance criteria.
Context-Free GrammarsCovers context-free grammars, their equivalence to pushdown automata, and the hierarchy of grammar types.
Relations, Sequences and SummationsCovers strings, countable sets, cardinality, and the concept of countability, exploring the countability of various sets and Cantor diagonalization.
Formal Languages: ConceptsCovers the fundamental concepts of formal languages, including alphabets, words, languages, and word equality.
Introduction to C++ StringsCovers the basics of working with strings in C++, including declaration, initialization, characters, assignment, concatenation, and comparison.