equal
deleted
inserted
replaced
22 \renewcommand{\isasymemptyset}{$\varnothing$} |
22 \renewcommand{\isasymemptyset}{$\varnothing$} |
23 \renewcommand{\isacharunderscore}{\mbox{$\_\!\_$}} |
23 \renewcommand{\isacharunderscore}{\mbox{$\_\!\_$}} |
24 |
24 |
25 \begin{document} |
25 \begin{document} |
26 |
26 |
27 \title{A Formalisation of the Myhill-Nerode Theorem\\ based on Regular Expressions} |
27 \title{A Formalisation of the Myhill-Nerode Theorem\\ based on Regular |
|
28 Expressions (Proof Pearl)} |
28 \author{Chunhan Wu\inst{1} \and Xingjuan Zhang\inst{1} \and Christian Urban\inst{2}} |
29 \author{Chunhan Wu\inst{1} \and Xingjuan Zhang\inst{1} \and Christian Urban\inst{2}} |
29 \institute{PLA University, China \and TU Munich, Germany} |
30 \institute{PLA University, China \and TU Munich, Germany} |
30 \maketitle |
31 \maketitle |
31 |
32 |
32 \begin{abstract} |
33 \begin{abstract} |