48 

    48 

    49 \begin{document}

    49 \begin{document}

    50 

    50 

    51 \title{A Formalisation of the Myhill-Nerode Theorem\\ based on Regular

    51 \title{A Formalisation of the Myhill-Nerode Theorem\\ based on Regular

    52   Expressions$^\star$\thanks{$^\star$ This is a revised and much expanded version of \cite{WuZhangUrban11}.}}

    52   Expressions$^\star$\thanks{$^\star$ This is a revised and much expanded version of \cite{WuZhangUrban11}.}}

    53 %\author{Chunhan Wu\\PLA University of Science and Technology Nanjing, China \and

    55 %\author{Chunhan Wu\\PLA University of Science and Technology Nanjing, China \and

    54 %Xingyuan Zhang\\PLA University of Science and Technology Nanjing, China \and

    56 %Xingyuan Zhang\\PLA University of Science and Technology Nanjing, China \and

    55 %Christian Urban\\ King's College London, United Kingdom}

    57 %Christian Urban\\ King's College London, United Kingdom}

    56 

    58 

    57 \author{Chunhan Wu \and Xingyuan Zhang \and Christian Urban}

    59 \author{Chunhan Wu \and Xingyuan Zhang \and Christian Urban}