equal
deleted
inserted
replaced
40 \title{A Formalisation of the Myhill-Nerode Theorem\\ based on Regular |
40 \title{A Formalisation of the Myhill-Nerode Theorem\\ based on Regular |
41 Expressions} |
41 Expressions} |
42 \thanks{This is a revised and expanded version of \cite{WuZhangUrban11}.} |
42 \thanks{This is a revised and expanded version of \cite{WuZhangUrban11}.} |
43 \author{Chunhan Wu}\address{PLA University of Science and Technology, China} |
43 \author{Chunhan Wu}\address{PLA University of Science and Technology, China} |
44 \author{Xingyuan Zhang}\sameaddress{1} |
44 \author{Xingyuan Zhang}\sameaddress{1} |
45 \author{Christian Urban}\address{TU Munich, |
45 \author{Christian Urban}\address{King's College London, United Kingdom}\secondaddress{corresponding author} |
46 Germany}\secondaddress{corresponding author} |
|
47 \subjclass{68Q45} |
46 \subjclass{68Q45} |
48 \keywords{Myhill-Nerode theorem, regular expressions, Isabelle theorem prover} |
47 \keywords{Myhill-Nerode theorem, regular expressions, Isabelle theorem prover} |
49 |
48 |
50 \begin{abstract} |
49 \begin{abstract} |
51 There are numerous textbooks on regular languages. Nearly all of them |
50 There are numerous textbooks on regular languages. Nearly all of them |