equal
deleted
inserted
replaced
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 Xingyuan Zhang\inst{1} \and Christian Urban\inst{2}} |
35 \institute{PLA University of Science and Technology, China \and TU Munich, Germany} |
35 \institute{PLA University of Science and Technology, China \and TU Munich, Germany} |
36 \maketitle |
36 \maketitle |
37 |
37 |
38 \begin{abstract} |
38 \begin{abstract} |
39 There are numerous textbooks on regular languages. Nearly all of them |
39 There are numerous textbooks on regular languages. Nearly all of them |