equal
deleted
inserted
replaced
32 \newcommand{\isasymbigplus}{\ensuremath{\bigplus}} |
32 \newcommand{\isasymbigplus}{\ensuremath{\bigplus}} |
33 |
33 |
34 \newcommand{\bigplus}{\mbox{\Large\bf$+$}} |
34 \newcommand{\bigplus}{\mbox{\Large\bf$+$}} |
35 \begin{document} |
35 \begin{document} |
36 |
36 |
37 \title{A Formalisation of the Myhill-Nerode Theorem based on Regular |
37 \title{A Formalisation of the Myhill-Nerode Theorem\\ based on Regular |
38 Expressions} |
38 Expressions} |
39 \author{Chunhan Wu}\address{PLA University of Science and Technology, China} |
39 \author{Chunhan Wu}\address{PLA University of Science and Technology, China} |
40 \author{Xingyuan Zhang}\sameaddress{1} |
40 \author{Xingyuan Zhang}\sameaddress{1} |
41 \author{Christian Urban}\address{TU Munich, |
41 \author{Christian Urban}\address{TU Munich, |
42 Germany}\secondaddress{corresponding author} |
42 Germany}\secondaddress{corresponding author} |