@inproceedings{187576f4bc2042a6a05615caec42f2c8,
title = "Derivatives and finite automata of expressions in star normal form",
abstract = "This paper studies derivatives and automata for expressions in star normal form as defined by Br{\"u}ggemann-Klein. For an expression in star normal form, the paper shows that the derivatives are either ∅ or unique, while in general Berry and Sethi{\textquoteright}s result shows the derivatives are either ∅ or similar. It is known that the partial derivative automaton and the follow automaton are two small automata, each of which is a quotient of the position automaton. For the relation between the partial derivative and follow automata, however, Ilie and Yu stated that a rigorous analysis is necessary but difficult. The paper tackles the issue, and presents several results. Our work shows that there are different conditions under which the relation of the two automata can be different.",
keywords = "Derivatives, Finite automata, Partial derivatives, Regular expressions, Star normal form",
author = "Haiming Chen and Ping Lu",
note = "Publisher Copyright: {\textcopyright} Springer International Publishing AG 2017.; 11th International Conference on Language and Automata Theory and Applications, LATA 2017 ; Conference date: 06-03-2017 Through 09-03-2017",
year = "2017",
doi = "10.1007/978-3-319-53733-7\_17",
language = "英语",
isbn = "9783319537320",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "236--248",
editor = "Frank Drewes and Carlos Mart{\'i}n-Vide and Bianca Truthe",
booktitle = "Language and Automata Theory and Applications - 11th International Conference, LATA 2017, Proceedings",
address = "德国",
}