Automata Theory
1
Regular expressions
2
Context-free languages
Dependency graph
1 Regular expressions
Theorem
1
ā
#
LāāN
Lean declarations
my_first_theorem
\(aab \in a^* b^*\)
Proof
ā¶
easy