Второй курс, посвященный теоретическому аспекту информатики.

Раздел в вики, посвященный этому курсу. Содержание курса:

• Overview
• Deterministic finite automata: definition and examples
• Regular operations
• Examples of nondeterministic finite automata
• Definition of nondeterministic finite automata; equivalence of deterministic and nondeterministic finite automata
• Equivalence of deterministic and nondeterministic finite automata; closure under the regular operations
• Closure under the regular operations; regular expressions
• How to convert a regular expression to an NFA; how to convert a DFA to a regular expression