Formal Languages: Concepts

Related lectures (30)

Page 2 of 3

Covers recursively enumerable languages, Turing machines, and the construction of undecidable languages.

Explores the group structure and isomorphism of elliptic curves, including inverses, associativity, and compactification to the torus.

Covers the addition of fractions and properties of rational numbers, emphasizing associativity and summing fractions with the same denominator.

Covers the concept of the Cartesian product, emphasizing the order of elements in pairs.

Covers the fundamentals of finite automata and formal languages.

Explores two definitions of group action on a set, focusing on properties and applications.

Focuses on the pushout and pullback constructions in sets, illustrating colimits and limits with explicit examples.

Explores commutative groups, Euler's Totient Function, and Cartesian products in group theory.

Introduces the basics of group theory, including operations, properties, and Lie groups.

Covers the study of lifting properties in categories, focusing on the left and right lifting properties.