equal
deleted
inserted
replaced
24 \renewcommand{\isacharunderscore}{\mbox{$\_\!\_$}} |
24 \renewcommand{\isacharunderscore}{\mbox{$\_\!\_$}} |
25 |
25 |
26 \newcommand{\isasymcalL}{\ensuremath{\cal{L}}} |
26 \newcommand{\isasymcalL}{\ensuremath{\cal{L}}} |
27 \newcommand{\isasymbigplus}{\ensuremath{\bigplus}} |
27 \newcommand{\isasymbigplus}{\ensuremath{\bigplus}} |
28 |
28 |
29 \newcommand{\bigplus}{\mbox{\large\bf$+$}} |
29 \newcommand{\bigplus}{\mbox{\Large\bf$+$}} |
30 \begin{document} |
30 \begin{document} |
31 |
31 |
32 \title{A Formalisation of the Myhill-Nerode Theorem\\ based on Regular |
32 \title{A Formalisation of the Myhill-Nerode Theorem\\ based on Regular |
33 Expressions (Proof Pearl)} |
33 Expressions (Proof Pearl)} |
34 \author{Chunhan Wu\inst{1} \and Xingjuan Zhang\inst{1} \and Christian Urban\inst{2}} |
34 \author{Chunhan Wu\inst{1} \and Xingjuan Zhang\inst{1} \and Christian Urban\inst{2}} |