equal
deleted
inserted
replaced
45 |
45 |
46 % for uniform font size |
46 % for uniform font size |
47 %\renewcommand{\isastyle}{\isastyleminor} |
47 %\renewcommand{\isastyle}{\isastyleminor} |
48 |
48 |
49 {\theoremstyle{break} \newtheorem{Lem}{Lemma}} |
49 {\theoremstyle{break} \newtheorem{Lem}{Lemma}} |
|
50 {\theoremstyle{break} \newtheorem{Thm}{Theorem}} |
50 |
51 |
51 \newcommand{\dfa}[1]{\hat{\delta}_{#1}} |
52 \newcommand{\dfa}[1]{\hat{\delta}_{#1}} |
52 \newcommand{\Lang}{\mathcal{L}} |
53 \newcommand{\Lang}{\mathcal{L}} |
53 \newcommand{\mht}{Myhill-Nerode Theorem} |
54 \newcommand{\re}{e} |
|
55 \newcommand{\mht}{Myhill-Nerode theorem} |
54 \newcommand{\qnt}[2]{{#1}//{#2}} |
56 \newcommand{\qnt}[2]{{#1}//{#2}} |
55 \newcommand{\cls}[2]{\llbracket{#1}\rrbracket_{#2}} |
57 \newcommand{\cls}[2]{\llbracket{#1}\rrbracket_{#2}} |
56 |
58 |
57 \begin{document} |
59 \begin{document} |
58 |
60 |